Search - Archive ouverte HAL Access content directly

Filter your results

6 Results
Image document

A Tale of Two Diagnoses in Probabilistic Systems

Nathalie Bertrand , Serge Haddad , Engel Lefaucheux
Information and Computation, 2019, 269, pp.1-33. ⟨10.1016/j.ic.2019.104441⟩
Journal articles hal-02430814v1
Image document

Foundation of Diagnosis and Predictability in Probabilistic Systems

Nathalie Bertrand , Serge Haddad , Engel Lefaucheux
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), Dec 2014, New Delhi, India. pp.417-429
Conference papers hal-01088117v1

On the Monniaux Problem in Abstract Interpretation

Nathanaël Fijalkow , Engel Lefaucheux , Pierre Ohlmann , Joël Ouaknine , Amaury Pouly , et al.
SAS, 2019, Porto, Portugal
Conference papers hal-02395773v1
Image document

Approximate Diagnosis and Opacity of Stochastic Systems

Engel Lefaucheux
2019
Preprints, Working Papers, ... hal-02424744v1
Image document

Simple Priced Timed Games Are Not That Simple

Thomas Brihaye , Gilles Geeraerts , Axel Haddad , Engel Lefaucheux , Benjamin Monmege
Proceedings of the 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'15), Dec 2015, Bangalore, India. pp.278-292, ⟨10.4230/LIPIcs.FSTTCS.2015.p⟩
Conference papers hal-01452621v1
Image document

One-Clock Priced Timed Games with Arbitrary Weights

Thomas Brihaye , Gilles Geeraerts , Axel Haddad , Engel Lefaucheux , Benjamin Monmege
Logical Methods in Computer Science, 2022, 18 (3), pp.51
Journal articles hal-02424743v2