Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 3.


Mascle, Corto, Shirmohammadi, Mahsa and Totzke, Patrick ORCID: 0000-0001-5274-8190
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 and Zimmermann, Martin
(2019) The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas.

This list was generated on Sun Nov 29 08:25:22 2020 GMT.