( en | de | ru )

 

Disambiguierung von "Frehse, Goran"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Falsification of hybrid systems using symbolic reachability and trajectory splicing.

, , , , , und . HSCC, Seite 1-10. ACM, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sivahari Prasad Gorantla

Iwan Goranow

Hartmut Frehse

Dietrich Frehse

Helmut Frehse

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic Analysis of Linear Hybrid Automata - 25 Years Later., , und . Principles of Systems Design, Volume 13660 von Lecture Notes in Computer Science, Seite 39-60. Springer, (2022)Tools for the Analysis of Hybrid Models., , , und . Communicating Embedded Systems, Wiley, (2013)Current Challenges in the Verification of Hybrid Systems., , , , , , und . CyPhy, Volume 9361 von Lecture Notes in Computer Science, Seite 8-24. Springer, (2015)Monitoring Dynamical Signals While Testing Timed Aspects of a System., , , und . ICTSS, Volume 7019 von Lecture Notes in Computer Science, Seite 115-130. Springer, (2011)CLIP-QDA: An Explainable Concept Bottleneck Model., , , und . Trans. Mach. Learn. Res., (2024)A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata., , und . HSCC, Volume 4981 von Lecture Notes in Computer Science, Seite 187-200. Springer, (2008)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , und . ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 1-31. EasyChair, (2021)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , , , und 3 andere Autor(en). ARCH, Volume 74 von EPiC Series in Computing, Seite 16-48. EasyChair, (2020)SL2SX Translator: From Simulink to SpaceEx Models., und . HSCC, Seite 93-98. ACM, (2016)Lane change maneuver for autonomous vehicles (Benchmark Proposal)., , und . ARCH@ADHS, Volume 54 von EPiC Series in Computing, Seite 229-241. EasyChair, (2018)