A two-step scheme for approximate model checking of stochastic hybrid systems
Conference Paper
(2011)
Author(s)
A. Abate (TU Delft - DISC)
J.P. Katoen (External organisation)
J. Lygeros (External organisation)
M Prandini (External organisation)
Research Group
DISC
To reference this document use:
https://resolver.tudelft.nl/uuid:efb2ff45-a757-4b78-ba3c-ef36e0bba74e
More Info
expand_more
expand_more
Publication Year
2011
Research Group
DISC
Pages (from-to)
4519-4524
No files available
Metadata only record. There are no files for this record.