Up a level |
Mascle, Corto, Shirmohammadi, Mahsa and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2019)
Controlling a Random Population is EXPTIME-hard.
[Internet Publication]
Mascle, Corto, Neider, Daniel, Schwenger, Maximilian, Tabuada, Paulo, Weinert, Alexander and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2020)
From LTL to rLTL monitoring.
In: HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control.
Mascle, Corto, Neider, Daniel, Schwenger, Maximilian, Tabuada, Paulo, Weinert, Alexander and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2022)
From LTL to rLTL monitoring: improved monitorability through robust semantics.
FORMAL METHODS IN SYSTEM DESIGN, 59 (1-3).
pp. 170-204.
Mascle, Corto and Zimmermann, Martin
(2019)
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very
Simple Formulas.
Leibniz International Proceedings in Informatics, LIPIcs, 152.