Sign in
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes.
Luca Laurenti
Morteza Lahijanian
Alessandro Abate
Luca Cardelli
Marta Kwiatkowska
Published in:
IEEE Trans. Autom. Control. (2021)
Keyphrases
</>
stochastic processes
markov processes
simple linear
program synthesis
stochastic process
case study
search algorithm
state space
lightweight
cost effective