Alur, Rajeev; Moarref, Salar; Topcu, Ufuk Compositional and symbolic synthesis of reactive controllers for multi-agent systems. (English) Zbl 1395.68267 Inf. Comput. 261, Part 4, 616-633 (2018). MSC: 68T42 93B50 PDFBibTeX XMLCite \textit{R. Alur} et al., Inf. Comput. 261, Part 4, 616--633 (2018; Zbl 1395.68267) Full Text: DOI
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk 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). MSC: 68T42 68T40 93A14 93B50 93C85 PDFBibTeX XMLCite \textit{R. Alur} et al., Lect. Notes Comput. Sci. 9780, 251--269 (2016; Zbl 1411.68156) Full Text: DOI
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk 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 \textit{R. Alur} et al., in: 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). 215--224 (2016; Zbl 1364.93252) Full Text: DOI
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk 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 \textit{R. Alur} et al., Lect. Notes Comput. Sci. 9035, 501--516 (2015; Zbl 1420.68116) Full Text: DOI
Alur, Rajeev; Forejt, Vojtěch; Moarref, Salar; Trivedi, Ashutosh 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). MSC: 93C30 68Q17 68Q25 90B35 91A80 PDFBibTeX XMLCite \textit{R. Alur} et al., in: 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). 243--252 (2013; Zbl 1361.93019) Full Text: DOI arXiv