Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing

dc.contributor.author	Martius, Georg
dc.date.accessioned	2022-08-30T08:50:28Z
dc.date.available	2022-08-30T08:50:28Z
dc.date.issued	2021
dc.identifier.issn	1878-7460
dc.identifier.uri	http://hdl.handle.net/10900/131272
dc.language.iso	en	de_DE
dc.publisher	Elsevier Sci Ltd	de_DE
dc.relation.uri	http://dx.doi.org/10.1016/j.nahs.2021.101093	de_DE
dc.subject.ddc	004	de_DE
dc.subject.ddc	510	de_DE
dc.subject.ddc	600	de_DE
dc.title	Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing	de_DE
dc.type	Article	de_DE
utue.quellen.id	20211125174918_00131
utue.personen.roh	Bogomolov, Sergiy
utue.personen.roh	Frehse, Goran
utue.personen.roh	Gurung, Amit
utue.personen.roh	Li, Dongxu
utue.personen.roh	Martius, Georg
utue.personen.roh	Ray, Rajarshi
dcterms.isPartOf.ZSTitelID	Nonlinear Analysis - Hybrid Systems	de_DE
dcterms.isPartOf.ZS-Issue	Article 101093	de_DE
dcterms.isPartOf.ZS-Volume	42	de_DE