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
102019
The keys to decidable hyperltl satisfiability: Small models or very simple formulas
C Mascle, M Zimmermann
arXiv preprint arXiv:1907.05070, 2019
52019
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
22020
Controlling a Random Population is EXPTIME-hard
C Mascle, M Shirmohammadi, P Totzke
arXiv preprint arXiv:1909.06420, 2019
22019
Responsibility and verification: Importance value in temporal logics
C Mascle, C Baier, F Funke, S Jantsch, S Kiefer
arXiv preprint arXiv:2102.06655, 2021
12021
Les claviers, un mod\ele de calcul
Y Géran, B Laboureix, C Mascle, VD Richard
arXiv preprint arXiv:2102.10182, 2021
2021
On Nonnegative Integer Matrices and Short Killing Words
S Kiefer, CN Mascle
SIAM Journal on Discrete Mathematics 35 (2), 1252-1267, 2021
2021
From LTL to rLTL monitoring
C Mascle, D Neider, M Schwenger, P Tabuada, A Weinert, ...
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–8