Počet záznamů: 1
Combined Global and Local Search for the Falsification of Hybrid Systems
SYS 0431640 LBL 01645^^^^^2200241^^^450 005 20240103204621.6 014 $a 84958524952 $2 SCOPUS 017 70
$a 10.1007/978-3-319-10512-3_11 $2 DOI 100 $a 20140917d m y slo 03 ba 101 0-
$a eng 102 $a CH 200 1-
$a Combined Global and Local Search for the Falsification of Hybrid Systems 215 $a 15 s. $c P 300 $a Se sberem 2015 se do RIV se dostal i projekt GCP202/12/J060 za AV (v autorite byl poskytovatel AV) 463 -1
$1 001 cav_un_epca*0431639 $1 010 $a 978-3-319-10511-6 $1 011 $a 0302-9743 $1 200 1 $a Formal Modeling and Analysis of Timed Systems $v S. 146-160 $1 210 $a Cham $c Springer $d 2014 $1 225 $a Lecture Notes in Computer Science $v 8711 $1 702 1 $a Legay $b A. $4 340 $1 702 1 $a Bozga $b M. $4 340 610 0-
$a hybrid systems 610 0-
$a falsification 610 0-
$a optimization 700 -1
$3 cav_un_auth*0283616 $a Kuřátko $b Jan $i Oddělení optimalizace a systémů $j Department of Optimization and Systems $p UIVT-O $w Department of Computational Mathematics $4 070 $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0218448 $a Ratschan $b Stefan $i Oddělení optimalizace a systémů $j Department of Optimization and Systems $p UIVT-O $w Department of Computational Mathematics $4 070 $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1