Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems

I Tkachev, A. Mereacre, J.P. Katoen, A Abate

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

36 Citations (Scopus)
Original languageEnglish
Title of host publicationHSCC '13: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control
EditorsC Belta, F Ivancic
Place of PublicationNew York, NY, USA
PublisherAssociation for Computing Machinery (ACM)
Pages293-302
ISBN (Print)978-1-4503-1567-8
DOIs
Publication statusPublished - 2013
EventHSCC 2013: Hybrid Systems: Computation and Control - Philadelphia, United States
Duration: 8 Apr 201311 Apr 2013

Publication series

Name
PublisherACM

Conference

ConferenceHSCC 2013: Hybrid Systems: Computation and Control
Abbreviated titleHSCC 2013
CountryUnited States
CityPhiladelphia
Period8/04/1311/04/13

Bibliographical note

NEO

Cite this