Characterization and computation of infinite-horizon specifications over Markov processes
Journal Article
(2014)
Author(s)
I. 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.1016/j.tcs.2013.09.032
To reference this document use:
https://resolver.tudelft.nl/uuid:5a2ae241-dd44-4402-9231-23ad7154bee6
More Info
expand_more
expand_more
Publication Year
2014
Language
English
Research Group
Team Bart De Schutter
Volume number
515
Pages (from-to)
1-18
No files available
Metadata only record. There are no files for this record.