( en | de | ru )

 

Disambiguation of "Schupp, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

, , , , , , , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 1-31. EasyChair, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefan Schupp

Hellmuth Schupp

Alfons Schupp

Ernst Schupp

Ewald Schupp

 

Other publications of authors with the same name

Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems., and . SEFM, volume 10886 of Lecture Notes in Computer Science, page 89-104. Springer, (2018)Lightweight Verification of Hyperproperties., , , , , , and . ATVA, volume 14216 of Lecture Notes in Computer Science, page 3-25. Springer, (2023)Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories., , and . CoRR, (2024)Controlling timed automata against MTL specifications with TACoS., and . Sci. Comput. Program., (2023)Controlling Golog Programs against MTL Constraints., and . CoRR, (2022)Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction., , and . ACM Trans. Model. Comput. Simul., 33 (4): 18:1-18:27 (October 2023)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 1-31. EasyChair, (2021)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , , , and 3 other author(s). ARCH, volume 74 of EPiC Series in Computing, page 16-48. EasyChair, (2020)Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems., , , and . ECMS, page 407-413. European Council for Modeling and Simulation, (2019)Communications of the ECMS, Volume 33, Issue 1, June 2019.Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks., , , and . TASE, volume 13931 of Lecture Notes in Computer Science, page 164-182. Springer, (2023)