Search results

0431640 - ÚI 2015 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GCP202/12/J060
Institutional support: RVO:67985807
Keywords : hybrid systems * falsification * optimization
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0236241