Stéphane Demri
100%
Libre accès
4
Documents
Identifiants chercheurs
stephane-demri-
0000-0002-3493-2610
- IdRef : 070195684
Présentation
--------------
### Directeur de recherche [CNRS ](http://www.cnrs.fr)
### [Laboratoire Méthodes Formelles (LMF)](https://lmf.cnrs.fr/)
**Member of the teams "Formal methods for AI" / "Model-checking and synthesis"**
Misc.: [Recent Talks ](http://www.lsv.fr/~demri/recent-talks.html)/ [Page@LSV](http://www.lsv.fr/~demri/)
**Course ["Logical Aspects of AI" ](https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-1-39) (2023 -- 2024).**
**Course ["Initiation to research -- Scientific watch: uncertainty/temporal reasoning in AI" ](https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-1-36&#wg_sb2_scientific_watchuncertainty_temporal_reasoning_in_ai_s_demri) (2023--2024).**
**Abstract/paper submission deadline [AAMAS’24](https://www.aamas2024-conference.auckland.ac.nz), 02/09 October, 2023**
Domaines de recherche
Logique en informatique [cs.LO]
Publications
|
|
A Parametric Analysis of the State-Explosion Problem in Model CheckingJournal of Computer and System Sciences, 2006, 72 (4), pp.547--575. ⟨10.1016/j.jcss.2005.11.003⟩
Article dans une revue
hal-03189811v1
|
|
|
The Complexity of Propositional Linear Temporal Logics in Simple CasesInformation and Computation, 2002, 174 (1), pp.84-103. ⟨10.1006/inco.2001.3094⟩
Article dans une revue
hal-03189492v1
|
|
|
A Parametric Analysis of the State Explosion Problem in Model Checking19th Annual Symposium on Theoretical Aspects of Computer Science Antibes - Juan les Pins, Helmut Alt; Afonso Ferreira, Mar 2002, Antibes - Juan les Pins, France. pp.620-631, ⟨10.1007/3-540-45841-7_51⟩
Communication dans un congrès
hal-03202661v1
|
|
|
The complexity of propositional linear temporal logics in simple casesAnnual Symposium on Theoretical Aspects of Computer Science (STACS 1998), Jan 1998, Paris, France. pp.61-72, ⟨10.1007/BFb0028549⟩
Communication dans un congrès
hal-03199998v1
|