J.P. Katoen | TU Delft Repository

JK

J.P. Katoen

Conference paper (3)

Journal article (1)

4 records found

1

Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems

Conference paper (2013) - I. Tkachev (author), A. Mereacre (author), J.P. Katoen (author), A. Abate (author)

Robust PCTL model checking

Conference paper (2012) - A D'Innocenzo (author), A. Abate (author), J.P. Katoen (author)

A two-step scheme for approximate model checking of stochastic hybrid systems

Conference paper (2011) - A. Abate (author), J.P. Katoen (author), J. Lygeros (author), M Prandini (author)

Approximate model checking of stochastic hybrid systems

Journal article (2010) - A. Abate (author), J.P. Katoen (author), J. Lygeros (author), M Prandini (author)