Approximate model checking of stochastic hybrid systems
Journal Article
(2010)
Author(s)
A. Abate (TU Delft - Team Bart De Schutter)
J.P. Katoen (External organisation)
J. Lygeros (External organisation)
M Prandini (External organisation)
Research Group
Team Bart De Schutter
To reference this document use:
https://resolver.tudelft.nl/uuid:178b051c-dce9-4c96-a84a-b7da2f28634a
More Info
expand_more
expand_more
Publication Year
2010
Language
English
Research Group
Team Bart De Schutter
Volume number
6
Pages (from-to)
624-641
No files available
Metadata only record. There are no files for this record.