Sebastian Muskalla

According to our database, Sebastian Muskalla authored at least 10 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Certificates for automata in a hostile environment.

Sebastian Muskalla

PhD thesis, 2024

2018

Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems.

Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

Bounded Context Switching for Valence Systems.

Roland Meyer, Sebastian Muskalla, Georg Zetzsche

Proceedings of the 29th International Conference on Concurrency Theory, 2018

Regular Separability of Well-Structured Transition Systems.

Wojciech Czerwinski, Slawomir Lasota, Roland Meyer, Sebastian Muskalla, K. Narayan Kumar, Prakash Saivasan

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Liveness Verification and Synthesis: New Algorithms for Recursive Programs.

Roland Meyer, Sebastian Muskalla, Elisabeth Neumann

CoRR, 2017

Domains for Higher-Order Games.

Matthew Hague, Roland Meyer, Sebastian Muskalla

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

On the Upward/Downward Closures of Petri Nets.

Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2016

Munchausen Iteration.

Roland Meyer, Sebastian Muskalla

CoRR, 2016

Antichains for Inclusion Games.

Lukás Holík, Roland Meyer, Sebastian Muskalla

CoRR, 2016

Summaries for Context-Free Games.

Lukás Holík, Roland Meyer, Sebastian Muskalla

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016