PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Frehse, Goran"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Abstraction-Based Guided Search for Hybrid Systems.

, , , , , , , und . SPIN, Volume 7976 von Lecture Notes in Computer Science, Seite 117-134. Springer, (2013)

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.

Keine Personen gefunden für den Autorennamen Frehse, Goran
Eine Person hinzufügen mit dem Namen Frehse, Goran
 

Weitere Publikationen von Autoren mit dem selben Namen

Abstraction-Based Guided Search for Hybrid Systems., , , , , , , und . SPIN, Volume 7976 von Lecture Notes in Computer Science, Seite 117-134. Springer, (2013)PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech.. HSCC, Volume 3414 von Lecture Notes in Computer Science, Seite 258-273. Springer, (2005)ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , und . ARCH@ADHS, Volume 54 von EPiC Series in Computing, Seite 53-70. EasyChair, (2018)Flowpipe-Guard Intersection for Reachability Computations with Support Functions., und . ADHS, Volume 45 von IFAC Proceedings Volumes, Seite 94-101. Elsevier, (2012)Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata., und . FORMATS, Volume 8711 von Lecture Notes in Computer Science, Seite 176-190. Springer, (2014)Reachability analysis of linear hybrid systems via block decomposition., , , , und . CoRR, (2019)Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices., , , , , und . HSCC, Seite 41-50. ACM, (2018)Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software., , , und . RTSS, Seite 53-62. IEEE Computer Society, (2014)Tools for the Analysis of Hybrid Models., , , und . Communicating Embedded Systems, Wiley, (2013)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)