Library
search
local_library
Repository
JK
J.P. Katoen
View Pure Profile
Authored
4 records found
Approximate model checking of stochastic hybrid systems
Journal article -
A. Abate
,
J.P. Katoen
,
J. Lygeros
,
M Prandini
A two-step scheme for approximate model checking of stochastic hybrid systems
Conference paper -
A. Abate
,
J.P. Katoen
,
J. Lygeros
,
M Prandini
Robust PCTL model checking
Conference paper -
A D'Innocenzo
,
A. Abate
,
J.P. Katoen
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
Conference paper -
I. Tkachev
,
A. Mereacre
,
J.P. Katoen
,
A. Abate