( en | de | ru )

 

Disambiguierung von "Schupp, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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.

Stefan Schupp

Hellmuth Schupp

Ernst Schupp

Alfons Schupp

Ewald Schupp

 

Weitere Publikationen von Autoren mit dem selben Namen

Controlling timed automata against MTL specifications with TACoS., und . Sci. Comput. Program., (2023)Controlling Golog Programs against MTL Constraints., und . CoRR, (2022)Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories., , und . CoRR, (2024)Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems., und . SEFM, Volume 10886 von Lecture Notes in Computer Science, Seite 89-104. Springer, (2018)Lightweight Verification of Hyperproperties., , , , , , und . ATVA, Volume 14216 von Lecture Notes in Computer Science, Seite 3-25. Springer, (2023)Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction., , und . ACM Trans. Model. Comput. Simul., 33 (4): 18:1-18:27 (Oktober 2023)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)Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks., , , und . TASE, Volume 13931 von Lecture Notes in Computer Science, Seite 164-182. Springer, (2023)TACoS: A Tool for MTL Controller Synthesis., und . SEFM, Volume 13085 von Lecture Notes in Computer Science, Seite 372-379. Springer, (2021)