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 Mon Nov 15 14:31:40 2021 GMT.