Výsledky vyhledávání

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
Trvalý link: http://hdl.handle.net/11104/0236241