Sebastian Muskalla

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 13

Top Topics

Transition Systems

Coalitional Games

Top Venues

Publications

Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems. CoRR (2018)
Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems. MFCS (2018)
Roland Meyer, Sebastian Muskalla, Georg Zetzsche
Bounded Context Switching for Valence Systems. CONCUR (2018)
Roland Meyer, Sebastian Muskalla, Georg Zetzsche
Bounded Context Switching for Valence Systems. CoRR (2018)
Wojciech Czerwinski, Slawomir Lasota, Roland Meyer, Sebastian Muskalla, K. Narayan Kumar, Prakash Saivasan
Regular Separability of Well-Structured Transition Systems. CONCUR (2018)
Matthew Hague, Roland Meyer, Sebastian Muskalla
Domains for Higher-Order Games. CoRR (2017)
Roland Meyer, Sebastian Muskalla, Elisabeth Neumann
Liveness Verification and Synthesis: New Algorithms for Recursive Programs. CoRR (2017)
Matthew Hague, Roland Meyer, Sebastian Muskalla
Domains for Higher-Order Games. MFCS (2017)
Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan
On the Upward/Downward Closures of Petri Nets. MFCS (2017)
Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan
On the Upward/Downward Closures of Petri Nets. CoRR (2017)
Roland Meyer, Sebastian Muskalla
Munchausen Iteration. CoRR (2016)
Lukás Holík, Roland Meyer, Sebastian Muskalla
Summaries for Context-Free Games. FSTTCS (2016)
Lukás Holík, Roland Meyer, Sebastian Muskalla
Antichains for Inclusion Games. CoRR (2016)