Higher-Order Approximations for Verification of Stochastic Hybrid Systems
Conference Paper
(2012)
Author(s)
S. Esmaeil Zadeh Soudjani (TU Delft - Team Bart De Schutter)
A. Abate (TU Delft - Team Bart De Schutter)
Research Group
Team Bart De Schutter
To reference this document use:
https://resolver.tudelft.nl/uuid:aba08e9c-4c17-487a-8858-98e7d7bf817c
More Info
expand_more
expand_more
Publication Year
2012
Language
English
Research Group
Team Bart De Schutter
Pages (from-to)
416-434
No files available
Metadata only record. There are no files for this record.