iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/journals/csysl/HouLYZ23.nt
. . . . . "Junyao Hou et al.: Abstraction-Based Verification of Approximate Preopacity for Control Systems. (2023)" . . _:ID_2a7024025993995f02664faaafc6cf1e . _:ID_2a7024025993995f02664faaafc6cf1e . _:ID_2a7024025993995f02664faaafc6cf1e . _:ID_2a7024025993995f02664faaafc6cf1e . _:ID_2a7024025993995f02664faaafc6cf1e "journals/csysl/HouLYZ23" . _:ID_2b0e2c4bbb0449a239f2a1dcbc5c6cad . _:ID_2b0e2c4bbb0449a239f2a1dcbc5c6cad . _:ID_2b0e2c4bbb0449a239f2a1dcbc5c6cad . _:ID_2b0e2c4bbb0449a239f2a1dcbc5c6cad . _:ID_2b0e2c4bbb0449a239f2a1dcbc5c6cad "10.1109/LCSYS.2022.3230770" . "Abstraction-Based Verification of Approximate Preopacity for Control Systems." . . . . . . . . . . "4"^^ . _:Sig_8808dec5036a291b5fff0a6d599d5eda_1 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_1 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_1 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_1 "Junyao Hou" . _:Sig_8808dec5036a291b5fff0a6d599d5eda_1 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_1 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_1 "1"^^ . _:Sig_8808dec5036a291b5fff0a6d599d5eda_1 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_2 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_2 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_2 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_2 "Siyuan Liu" . _:Sig_8808dec5036a291b5fff0a6d599d5eda_2 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_2 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_2 "2"^^ . _:Sig_8808dec5036a291b5fff0a6d599d5eda_2 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_3 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_3 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_3 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_3 "Xiang Yin 0003" . _:Sig_8808dec5036a291b5fff0a6d599d5eda_3 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_3 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_3 "3"^^ . _:Sig_8808dec5036a291b5fff0a6d599d5eda_3 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_4 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_4 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_4 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_4 "Majid Zamani 0001" . _:Sig_8808dec5036a291b5fff0a6d599d5eda_4 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_4 . _:Sig_8808dec5036a291b5fff0a6d599d5eda_4 "4"^^ . _:Sig_8808dec5036a291b5fff0a6d599d5eda_4 . . . . . "1087-1092" . "IEEE Control. Syst. Lett." . "IEEE Control. Syst. Lett." . "7" . "2023"^^ . "provenance information for RDF data of dblp record 'journals/csysl/HouLYZ23'" . . . . "2023-01-15T18:30:36+0100" .