Corto Mascle
Cited by
Cited by
On finite monoids over nonnegative integer matrices and short killing words
S Kiefer, C Mascle
36th International Symposium on Theoretical Aspects of Computer Science …, 2019
The keys to decidable hyperltl satisfiability: Small models or very simple formulas
C Mascle, M Zimmermann
arXiv preprint arXiv:1907.05070, 2019
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
Controlling a Random Population is EXPTIME-hard
C Mascle, M Shirmohammadi, P Totzke
arXiv preprint arXiv:1909.06420, 2019
Responsibility and verification: Importance value in temporal logics
C Mascle, C Baier, F Funke, S Jantsch, S Kiefer
arXiv preprint arXiv:2102.06655, 2021
Les claviers, un mod\ele de calcul
Y Géran, B Laboureix, C Mascle, VD Richard
arXiv preprint arXiv:2102.10182, 2021
Keyboards as a New Model of Computation
Y Géran, B Laboureix, C Mascle, VD Richard
46th International Symposium on Mathematical Foundations of Computer Science …, 2021
On Nonnegative Integer Matrices and Short Killing Words
S Kiefer, CN Mascle
SIAM Journal on Discrete Mathematics 35 (2), 1252-1267, 2021
The system can't perform the operation now. Try again later.
Articles 1–8