research
∙
08/24/2020
Taming denumerable Markov decision processes with decisiveness
Decisiveness has proven to be an elegant concept for denumerable Markov ...
share
research
∙
05/13/2020
The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment
The CLEARSY Safety Platform (CSSP) was designed to ease the development ...
research
∙
11/30/2018
Parametric Timed Broadcast Protocols
In this paper we consider state reachability in networks composed of man...
research
∙
02/12/2018