Corto Mascle
Corto Mascle
ENS Paris-Saclay
Verified email at ens-paris-saclay.fr
Title
Cited by
Cited by
Year
On finite monoids over nonnegative integer matrices and short killing words
S Kiefer, C Mascle
Schloss Dagstuhl, 2019
62019
Controlling a Random Population is EXPTIME-hard
C Mascle, M Shirmohammadi, P Totzke
arXiv preprint arXiv:1909.06420, 2019
22019
The keys to decidable hyperltl satisfiability: Small models or very simple formulas
C Mascle, M Zimmermann
arXiv preprint arXiv:1907.05070, 2019
22019
From LTL to rLTL monitoring: improved monitorability through robust semantics
C Mascle, D Neider, M Schwenger, P Tabuada, A Weinert, ...
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
12020
On Nonnegative Integer Matrices and Short Killing Words
S Kiefer, C Mascle
arXiv preprint arXiv:1808.00940, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–5