×

Found 5 Documents (Results 1–5)

Compositional synthesis of reactive controllers for multi-agent systems. (English) Zbl 1411.68156

Chaudhuri, Swarat (ed.) et al., Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17–23, 2016. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 9780, 251-269 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Compositional synthesis with parametric reactive controllers. (English) Zbl 1364.93252

Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 215-224 (2016).
MSC:  93B50 93C85
PDFBibTeX XMLCite
Full Text: DOI

Pattern-based refinement of assume-guarantee specifications in reactive synthesis. (English) Zbl 1420.68116

Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 501-516 (2015).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Safe schedulability of bounded-rate multi-mode systems. (English) Zbl 1361.93019

Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 243-252 (2013).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field