Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Improving Time Bounded Reachability Computations in Interactive Markov Chains5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.250-266, ⟨10.1007/978-3-642-40213-5_16⟩
Conference papers
hal-01514669v1
|
||
|
|
Deep Statistical Model Checking40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.96-114, ⟨10.1007/978-3-030-50086-3_6⟩
Conference papers
hal-03283238v1
|