Mathieu Sassolas
From MaRDI portal
Person:453512
Available identifiers
zbMath Open sassolas.mathieuMaRDI QIDQ453512
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Polynomial interrupt timed automata: verification and expressiveness | 2021-04-13 | Paper |
The complexity of admissibility in Omega-regular games | 2018-04-23 | Paper |
Opacity for linear constraint Markov chains | 2018-04-18 | Paper |
Polynomial interrupt timed automata | 2017-10-27 | Paper |
Quantifying opacity | 2016-07-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q5740413 | 2016-07-26 | Paper |
Non-Zero Sum Games for Reactive Synthesis | 2016-04-13 | Paper |
CHANNEL SYNTHESIS FOR FINITE TRANSDUCERS | 2013-06-06 | Paper |
Interrupt timed automata: verification and expressiveness | 2012-09-27 | Paper |
Concurrent Games on VASS with Inhibition | 2012-09-25 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Mathieu Sassolas