Combined Global and Local Search for the Falsification of Hybrid Systems

0431640 - ÚI 2015 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Kuřátko, Jan - Ratschan, Stefan
Combined Global and Local Search for the Falsification of Hybrid Systems.
Formal Modeling and Analysis of Timed Systems. Cham: Springer, 2014 - (Legay, A.; Bozga, M.), s. 146-160. Lecture Notes in Computer Science, 8711. ISBN 978-3-319-10511-6. ISSN 0302-9743.
[FORMATS 2014. International Conference /12./. Florence (IT), 08.09.2014-10.09.2014]
Grant CEP: GA ČR GCP202/12/J060
Institucionální podpora: RVO:67985807
Klíčová slova: hybrid systems * falsification * optimization
Kód oboru RIV: IN - Informatika

Citováno: 4

--- DESHMUKH, J. - JIN, X.Q. - KAPINSKI, J. - MALER, O. Stochastic Local Search for Falsification of Hybrid Systems. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015. ISSN 0302-9743, 2015, vol. 9364, p. 500-517. [WOS]
--- ZHANG, Z.Y. - ERNST, G. - SEDWARDS, S. - ARCAINI, P. - HASUO, I. Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. ISSN 0278-0070, NOV 2018, vol. 37, no. 11, SI, p. 2894-2905. [WOS]
--- ADIMOOLAM, A. - DANG, T. - DONZE, A. - KAPINSKI, J. - JIN, X.Q. Classification and Coverage-Based Falsification for Embedded Control Systems. COMPUTER AIDED VERIFICATION, CAV 2017, PT I. ISSN 0302-9743, 2017, vol. 10426, p. 483-503. [WOS]
--- ZHANG, Z.Y. - HASUO, I. - ARCAINI, P. Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. COMPUTER AIDED VERIFICATION, CAV 2019, PT I. ISSN 0302-9743, 2019, vol. 11561, p. 401-420. [WOS]

Trvalý link: http://hdl.handle.net/11104/0236241