Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing

DSpace Repository

Show simple item record

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


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record