Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
Conference Paper
(2013)
Author(s)
I Tkachev (TU Delft - Team Bart De Schutter)
A Mereacre (University of Oxford)
J.P. Katoen (RWTH Aachen University)
Alessandro Abate (TU Delft - Team Bart De Schutter)
Research Group
Team Bart De Schutter
DOI related publication
https://doi.org/10.1145/2461328.2461373
To reference this document use:
https://resolver.tudelft.nl/uuid:f06e36ec-cb76-4ded-8f12-2887b423ebad
More Info
expand_more
expand_more
Publication Year
2013
Language
English
Research Group
Team Bart De Schutter
Pages (from-to)
293-302
ISBN (print)
978-1-4503-1567-8
No files available
Metadata only record. There are no files for this record.