Mathieu Sassolas
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Polynomial interrupt timed automata: verification and expressiveness Information and Computation | 2021-04-13 | Paper |
| The complexity of admissibility in omega-regular games Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
| Opacity for linear constraint Markov chains Discrete Event Dynamic Systems | 2018-04-18 | Paper |
| Polynomial interrupt timed automata (available as arXiv preprint) | 2017-10-27 | Paper |
| Quantifying opacity Mathematical Structures in Computer Science | 2016-07-27 | Paper |
| Channel synthesis for finite transducers | 2016-07-26 | Paper |
| Non-zero sum games for reactive synthesis Language and Automata Theory and Applications | 2016-04-13 | Paper |
| Channel synthesis for finite transducers International Journal of Foundations of Computer Science | 2013-06-06 | Paper |
| Interrupt timed automata: verification and expressiveness Formal Methods in System Design | 2012-09-27 | Paper |
| Concurrent games on VASS with inhibition Lecture Notes in Computer Science | 2012-09-25 | Paper |
Research outcomes over time
This page was built for person: Mathieu Sassolas
