Autor der Publikation

Counterexample Generation for Hybrid Automata.

, , , und . FTSCS, Volume 419 von Communications in Computer and Information Science, Seite 88-106. 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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis., , und . QAPL@ETAPS, Volume 250 von EPTCS, Seite 1-14. (2017)Hybrid Sequential Function Charts., und . MBMV, Volume 68 von Forschungsergebnisse zur Informatik, Seite 109-120. Verlag Dr. Kovac, (2012)Counterexample Generation for Hybrid Automata., , , und . FTSCS, Volume 419 von Communications in Computer and Information Science, Seite 88-106. Springer, (2013)A CEGAR approach for the reachability analysis of PLC-controlled chemical plants., und . IRI, Seite 500-507. IEEE Computer Society, (2014)A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs., , , , und . GCAI, Volume 36 von EPiC Series in Computing, Seite 196-214. EasyChair, (2015)Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development., , , , , und . FMICS, Volume 11687 von Lecture Notes in Computer Science, Seite 59-75. Springer, (2019)