On approximation metrics for linear temporal model-checking of stochastic systems
Conference Paper
(2014)
Author(s)
Ilya Tkachev (TU Delft - Team Bart De Schutter)
Alessandro Abate (TU Delft - Team Bart De Schutter)
Research Group
Team Bart De Schutter
DOI related publication
https://doi.org/10.1145/2562059.2562118
To reference this document use:
https://resolver.tudelft.nl/uuid:25ff3d37-4342-49e3-9d64-a4df09be30cc
More Info
expand_more
expand_more
Publication Year
2014
Language
English
Research Group
Team Bart De Schutter
Pages (from-to)
193-202
ISBN (print)
978-1-4503-2732-9
No files available
Metadata only record. There are no files for this record.