Accéder directement au contenu

Stéphane Demri

100%
Libre accès
5
Documents
Identifiants chercheurs

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

davidnowak
Image document

Reasoning about transfinite sequences

 Stéphane Demri , David Nowak
International Journal of Foundations of Computer Science, 2007, 18 (1), pp.87--112. ⟨10.1142/S0129054107004589⟩
Article dans une revue hal-03189812v1
Image document

On the freeze quantifier in Constraint LTL: decidability and complexity

 Stéphane Demri , Ranko Lazić , David Nowak
Information and Computation, 2007, 205 (1), pp.2-24. ⟨10.1016/j.ic.2006.08.003⟩
Article dans une revue hal-03189579v1
Image document

On the freeze quantifier in Constraint LTL: decidability and complexity

 Stéphane Demri , Ranko Lazić , David Nowak
Information and Computation, 2006, 205 (1), pp.2-24. ⟨10.1016/j.ic.2006.08.003⟩
Article dans une revue hal-03190175v1
Image document

On the Freeze Quantifier in Constraint LTL: Decidability and Complexity

 Stéphane Demri , Ranko Lazić , David Nowak
12th International Symposium on Temporal Representation and Reasoning (TIME'05), Jul 2005, Burlington, United States. pp.113-121, ⟨10.1109/TIME.2005.28⟩
Communication dans un congrès hal-03201127v1
Image document

Reasoning about transfinite sequences (extended abstract)

 Stéphane Demri , David Nowak
ATVA 2005 - 3rd International Symposium on Automated Technology for Verification and Analysis, Doron A. Peled; Yih-Kuen Tsay, Oct 2005, Taipei, Taiwan. pp.248-262, ⟨10.1007/11562948_20⟩
Communication dans un congrès hal-03203572v1