Filter your results
- 5
- 1
- 3
- 2
- 1
- 6
- 1
- 3
- 1
- 1
- 6
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
6 Results
|
|
sorted by
|
|
A Tale of Two Diagnoses in Probabilistic SystemsInformation and Computation, 2019, 269, pp.1-33. ⟨10.1016/j.ic.2019.104441⟩
Journal articles
hal-02430814v1
|
||
|
Foundation of Diagnosis and Predictability in Probabilistic SystemsIARCS 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 InterpretationSAS, 2019, Porto, Portugal
Conference papers
hal-02395773v1
|
||
|
Approximate Diagnosis and Opacity of Stochastic Systems2019
Preprints, Working Papers, ...
hal-02424744v1
|
||
|
Simple Priced Timed Games Are Not That SimpleProceedings 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
|
||
|
One-Clock Priced Timed Games with Arbitrary WeightsLogical Methods in Computer Science, 2022, 18 (3), pp.51
Journal articles
hal-02424743v2
|