Ballarini, Paolo; Bentriou, Mahmoud; Cournède, Paul-Henry A formal approach for tuning stochastic oscillators. (English) Zbl 07810880 Pang, Jun (ed.) et al., Computational methods in systems biology. 21st international conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14137, 1-17 (2023). MSC: 92B25 92C42 68Q45 PDFBibTeX XMLCite \textit{P. Ballarini} et al., Lect. Notes Comput. Sci. 14137, 1--17 (2023; Zbl 07810880) Full Text: DOI
Mahmood, Yasir; Virtema, Jonni Parameterized complexity of propositional inclusion and independence logic. (English) Zbl 07810570 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 274-291 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{Y. Mahmood} and \textit{J. Virtema}, Lect. Notes Comput. Sci. 13923, 274--291 (2023; Zbl 07810570) Full Text: DOI arXiv
Khandait, Tanmay; Chandratre, Aniruddh; Baptista, Walstan; Pedrielli, Giulia; Fainekos, Georgios Demo abstract: Analysing CPS security with falsification on the Microsoft flight simulator. (English) Zbl 07807971 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 30, 2 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{T. Khandait} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 30, 2 p. (2023; Zbl 07807971) Full Text: DOI
Anand, Ashwani; Nayak, Satya Prakash; Schmuck, Anne-Kathrin Poster abstract: Permissiveness for strategy adaptation. (English) Zbl 07807970 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 29, 2 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{A. Anand} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 29, 2 p. (2023; Zbl 07807970) Full Text: DOI
Majumdar, Rupak; Mallik, Kaushik; Rychlicki, Mateusz; Schmuck, Anne-Kathrin; Soudjani, Sadegh Poster abstract: A toolchain for accelerated symbolic control. (English) Zbl 07807969 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 28, 2 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{R. Majumdar} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 28, 2 p. (2023; Zbl 07807969) Full Text: DOI
Egidio, Lucas Neves; Nayak, Satya Prakash; Rossa, Matteo Della; Schmuck, Anne-Kathrin; Jungers, Raphaël Poster abstract: Towards seamless reactivity of hybrid control. (English) Zbl 07807968 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 27, 2 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{L. N. Egidio} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 27, 2 p. (2023; Zbl 07807968) Full Text: DOI
Peruffo, Andrea; Mazo, Manuel jun. Poster: Convex scenario optimisation for ReLU networks. (English) Zbl 07807967 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 26, 2 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{A. Peruffo} and \textit{M. Mazo jun.}, in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 26, 2 p. (2023; Zbl 07807967) Full Text: DOI
Ho, Qi Heng; Ilyes, Roland; Sunberg, Zachary; Lahijanian, Morteza Poster abstract: Sampling-based approach to robust STL synthesis for complex systems under uncertainty. (English) Zbl 07807966 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 2 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{Q. H. Ho} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 2 p. (2023; Zbl 07807966) Full Text: DOI
Karagulle, Ruya; Arechiga, Nikos; Best, Andrew; Decastro, Jonathan; Ozay, Necmiye Poster abstract: Safety guaranteed preference learning approach for autonomous vehicles. (English) Zbl 07807965 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 24, 2 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{R. Karagulle} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 24, 2 p. (2023; Zbl 07807965) Full Text: DOI
Raz, Daphna; Yang, Liren; Umberger, Brian; Ozay, Necmiye Poster abstract: Reachability and controlled invariance for human stability during sit-to-stand. (English) Zbl 07807964 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 23, 2 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{D. Raz} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 23, 2 p. (2023; Zbl 07807964) Full Text: DOI
Schön, Oliver; Van Huijgevoort, Birgit; Haesaert, Sofie; Soudjani, Sadegh Poster abstract: Data-driven correct-by-design control of parametric stochastic systems. (English) Zbl 07807963 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 22, 2 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{O. Schön} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 22, 2 p. (2023; Zbl 07807963) Full Text: DOI
Das, Spandan; Prabhakar, Pavithra Poster abstract: Stability analysis of planar probabilistic piecewise constant derivative systems. (English) Zbl 07807962 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 21, 2 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{S. Das} and \textit{P. Prabhakar}, in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 21, 2 p. (2023; Zbl 07807962) Full Text: DOI
Chong, Stephen; Lanotte, Ruggero; Merro, Massimo; Tini, Simone; Xiang, Jian Quantitative robustness analysis of sensor attacks on cyber-physical systems. (English) Zbl 07807961 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 20, 12 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{S. Chong} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 20, 12 p. (2023; Zbl 07807961) Full Text: DOI
Fatnassi, Wael; Khedr, Haitham; Yamamoto, Valen; Shoukry, Yasser Bern-NN: tight bound propagation for neural networks using Bernstein polynomial interval arithmetic. (English) Zbl 07807960 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 19, 11 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{W. Fatnassi} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 19, 11 p. (2023; Zbl 07807960) Full Text: DOI arXiv
Ladner, Tobias; Althoff, Matthias Automatic abstraction refinement in neural network verification using sensitivity analysis. (English) Zbl 07807959 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 18, 13 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{T. Ladner} and \textit{M. Althoff}, in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 18, 13 p. (2023; Zbl 07807959) Full Text: DOI
Luo, Ertai; Kochdumper, Niklas; Bak, Stanley Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes. (English) Zbl 07807958 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 17, 12 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{E. Luo} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 17, 12 p. (2023; Zbl 07807958) Full Text: DOI
Barbot, Benoit; Basset, Nicolas; Donze, Alexandre Wordgen: a timed word generation tool. (English) Zbl 07807957 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 16, 7 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{B. Barbot} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 16, 7 p. (2023; Zbl 07807957) Full Text: DOI
Chandratre, Aniruddh; Hernandez Acosta, Tomas; Khandait, Tanmay; Pedrielli, Giulia; Fainekos, Georgios Stealthy attacks formalized as STL formulas for falsification of CPS security. (English) Zbl 07807956 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 15, 8 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{A. Chandratre} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 15, 8 p. (2023; Zbl 07807956) Full Text: DOI
Mambakam, Akshay; Asarin, Eugene; Basset, Nicolas; Dang, Thao Pattern matching and parameter identification for parametric timed regular expressions. (English) Zbl 07807955 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 14, 13 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{A. Mambakam} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 14, 13 p. (2023; Zbl 07807955) Full Text: DOI
Van Huijgevoort, Birgit; Schön, Oliver; Soudjani, Sadegh; Haesaert, Sofie SySCoRe: synthesis via stochastic coupling relations. (English) Zbl 07807954 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 11 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{B. Van Huijgevoort} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 11 p. (2023; Zbl 07807954) Full Text: DOI arXiv
Delimpaltadakis, Giannis; Lahijanian, Morteza; Mazo, Manuel jun.; Laurenti, Luca Interval Markov decision processes with continuous action-spaces. (English) Zbl 07807953 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 12, 10 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{G. Delimpaltadakis} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 12, 10 p. (2023; Zbl 07807953) Full Text: DOI arXiv
Gracia, Ibón; Boskos, Dimitris; Laurenti, Luca; Mazo, Manuel jun. Distributionally robust strategy synthesis for switched stochastic systems. (English) Zbl 07807952 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 11, 10 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{I. Gracia} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 11, 10 p. (2023; Zbl 07807952) Full Text: DOI arXiv
Ferdowsi, Arman; Függer, Matthias; Nowak, Thomas; Schmid, Ulrich Continuity of thresholded mode-switched ODEs and digital circuit delay models. (English) Zbl 07807951 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 10, 11 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{A. Ferdowsi} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 10, 11 p. (2023; Zbl 07807951) Full Text: DOI arXiv
Zareian, Mehrdad; Schmuck, Anne-Kathrin Lazy synthesis of symbolic output-feedback controllers for state-based safety specifications. (English) Zbl 07807950 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 9, 7 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{M. Zareian} and \textit{A.-K. Schmuck}, in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 9, 7 p. (2023; Zbl 07807950) Full Text: DOI
Debauche, Virginie; Della Rossa, Matteo; Jungers, Raphaël Characterization of the ordering of path-complete stability certificates with addition-closed templates. (English) Zbl 07807949 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 8, 10 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{V. Debauche} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 8, 10 p. (2023; Zbl 07807949) Full Text: DOI
Adimoolam, Arvind; Saha, Indranil; Dang, Thao Safe self-triggered control based on precomputed reachability sequences. (English) Zbl 07807948 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 7, 12 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{A. Adimoolam} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 7, 12 p. (2023; Zbl 07807948) Full Text: DOI
Tran, Hoang Dung; Choi, Sung Woo; Yang, Xiaodong; Yamaguchi, Tomoya; Hoxha, Bardh; Prokhorov, Danil Verification of recurrent neural networks with star reachability. (English) Zbl 07807947 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 6, 13 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{H. D. Tran} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 6, 13 p. (2023; Zbl 07807947) Full Text: DOI
Wetzlinger, Mark; Kochdumper, Niklas; Bak, Stanley; Althoff, Matthias Fully-automated verification of linear systems using reachability analysis with support functions. (English) Zbl 07807946 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 5, 12 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{M. Wetzlinger} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 5, 12 p. (2023; Zbl 07807946) Full Text: DOI
Tran, Hoang-Dung; Choi, Sungwoo; Okamoto, Hideki; Hoxha, Bardh; Fainekos, Georgios; Prokhorov, Danil Quantitative verification for neural networks using probstars. (English) Zbl 07807945 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 4, 12 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{H.-D. Tran} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 4, 12 p. (2023; Zbl 07807945) Full Text: DOI
Cardona, Gustavo A.; Kamale, Disha; Vasile, Cristian-Ioan Mixed integer linear programming approach for control synthesis with weighted signal temporal logic. (English) Zbl 07807944 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 3, 12 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{G. A. Cardona} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 3, 12 p. (2023; Zbl 07807944) Full Text: DOI
Chen, Hongkai; Smolka, Scott A.; Paoletti, Nicola; Lin, Shan An STL-based approach to resilient control for cyber-physical systems. (English) Zbl 07807943 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 2, 12 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{H. Chen} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 2, 12 p. (2023; Zbl 07807943) Full Text: DOI arXiv
Cairoli, Francesca; Paoletti, Nicola; Bortolussi, Luca Conformal quantitative predictive monitoring of STL requirements for stochastic processes. (English) Zbl 07807942 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 1, 11 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{F. Cairoli} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 1, 11 p. (2023; Zbl 07807942) Full Text: DOI arXiv
Attie, Paul C.; Cocke, William L. Model and program repair via group actions. (English) Zbl 07770353 Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 520-540 (2023). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{P. C. Attie} and \textit{W. L. Cocke}, Lect. Notes Comput. Sci. 13992, 520--540 (2023; Zbl 07770353) Full Text: DOI
Lapauw, Ruben; Bruynooghe, Maurice; Denecker, Marc Justifications and a reconstruction of parity game solving algorithms. (English) Zbl 07729476 Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 170-187 (2023). MSC: 68Q60 91A43 91A80 PDFBibTeX XMLCite \textit{R. Lapauw} et al., Lect. Notes Comput. Sci. 13160, 170--187 (2023; Zbl 07729476) Full Text: DOI arXiv
Gallardo, María-del-Mar; Merino, Pedro; Panizo, Laura The role of abstraction in model checking. (English) Zbl 07729475 Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 151-169 (2023). MSC: 68Q60 PDFBibTeX XMLCite \textit{M.-d.-M. Gallardo} et al., Lect. Notes Comput. Sci. 13160, 151--169 (2023; Zbl 07729475) Full Text: DOI
Brand, Sebastiaan; Bäck, Thomas; Laarman, Alfons A decision diagram operation for reachability. (English) Zbl 07728860 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 514-532 (2023). MSC: 68Q60 68P05 68Q85 PDFBibTeX XMLCite \textit{S. Brand} et al., Lect. Notes Comput. Sci. 14000, 514--532 (2023; Zbl 07728860) Full Text: DOI arXiv
Hermo, Montserrat; Lucio, Paqui; Sánchez, César Tableaux for realizability of safety specifications. (English) Zbl 07728859 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 495-513 (2023). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{M. Hermo} et al., Lect. Notes Comput. Sci. 14000, 495--513 (2023; Zbl 07728859) Full Text: DOI arXiv
Rajaona, Fortunat; Boureanu, Ioana; Malvone, Vadim; Belardinelli, Francesco Program semantics and verification technique for AI-centred programs. (English) Zbl 07728858 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 473-491 (2023). MSC: 68N30 68N15 68Q55 68Q60 68T27 PDFBibTeX XMLCite \textit{F. Rajaona} et al., Lect. Notes Comput. Sci. 14000, 473--491 (2023; Zbl 07728858) Full Text: DOI
Bak, Stanley; Dohmen, Taylor; Subramani, K.; Trivedi, Ashutosh; Velasquez, Alvaro; Wojciechowski, Piotr The octatope abstract domain for verification of neural networks. (English) Zbl 07728857 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 454-472 (2023). MSC: 68Q60 68T07 PDFBibTeX XMLCite \textit{S. Bak} et al., Lect. Notes Comput. Sci. 14000, 454--472 (2023; Zbl 07728857) Full Text: DOI
Brucker, Achim D.; Stell, Amy Verifying feedforward neural networks for classification in Isabelle/HOL. (English) Zbl 07728855 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 427-444 (2023). MSC: 68Q60 68T07 68V20 PDFBibTeX XMLCite \textit{A. D. Brucker} and \textit{A. Stell}, Lect. Notes Comput. Sci. 14000, 427--444 (2023; Zbl 07728855) Full Text: DOI
Ciancia, Vincenzo; Groote, Jan Friso; Latella, Diego; Massink, Mieke; de Vink, Erik P. Minimisation of spatial models using branching bisimilarity. (English) Zbl 07728847 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 263-281 (2023). MSC: 68Q60 03B70 68Q85 PDFBibTeX XMLCite \textit{V. Ciancia} et al., Lect. Notes Comput. Sci. 14000, 263--281 (2023; Zbl 07728847) Full Text: DOI
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto QMaude: quantitative specification and verification in rewriting logic. (English) Zbl 07728846 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 240-259 (2023). MSC: 68Q60 68Q42 PDFBibTeX XMLCite \textit{R. Rubio} et al., Lect. Notes Comput. Sci. 14000, 240--259 (2023; Zbl 07728846) Full Text: DOI
Nicoletti, Stefano M.; Lopuhaä-Zwakenberg, Milan; Hahn, E. Moritz; Stoelinga, Mariëlle PFL: a probabilistic logic for fault trees. (English) Zbl 07728844 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 199-221 (2023). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{S. M. Nicoletti} et al., Lect. Notes Comput. Sci. 14000, 199--221 (2023; Zbl 07728844) Full Text: DOI arXiv
Bauer-Marquart, Fabian; Leue, Stefan; Schilling, Christian symQV: automated symbolic verification of quantum programs. (English) Zbl 07728843 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 181-198 (2023). MSC: 68Q60 68N30 68V15 81P68 PDFBibTeX XMLCite \textit{F. Bauer-Marquart} et al., Lect. Notes Comput. Sci. 14000, 181--198 (2023; Zbl 07728843) Full Text: DOI arXiv
Sheng, Huanhuan; Bentkamp, Alexander; Zhan, Bohua HHLPy: practical verification of hybrid systems using Hoare logic. (English) Zbl 07728842 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 160-178 (2023). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{H. Sheng} et al., Lect. Notes Comput. Sci. 14000, 160--178 (2023; Zbl 07728842) Full Text: DOI arXiv
ter Beek, Maurice H.; Cledou, Guillermina; Hennicker, Rolf; Proença, José Can we communicate? Using dynamic logic to verify team automata. (English) Zbl 07728840 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 122-141 (2023). MSC: 68Q60 03B70 68Q10 68Q45 PDFBibTeX XMLCite \textit{M. H. ter Beek} et al., Lect. Notes Comput. Sci. 14000, 122--141 (2023; Zbl 07728840) Full Text: DOI
Liu, Yu; Subotic, Pavle; Letier, Emmanuel; Mechtaev, Sergey; Roychoudhury, Abhik Efficient SMT-based network fault tolerance verification. (English) Zbl 07728838 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 92-100 (2023). MSC: 68Q60 68M15 68T20 PDFBibTeX XMLCite \textit{Y. Liu} et al., Lect. Notes Comput. Sci. 14000, 92--100 (2023; Zbl 07728838) Full Text: DOI
Peled, Matan I.; Rothenberg, Bat-Chen; Itzhaky, Shachar SMT sampling via model-guided approximation. (English) Zbl 07728837 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 74-91 (2023). MSC: 68T20 68Q60 68V15 PDFBibTeX XMLCite \textit{M. I. Peled} et al., Lect. Notes Comput. Sci. 14000, 74--91 (2023; Zbl 07728837) Full Text: DOI arXiv
Kovács, Laura Symbolic computation in automated program reasoning. (English) Zbl 07728832 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 3-9 (2023). MSC: 68N30 68Q60 68W30 PDFBibTeX XMLCite \textit{L. Kovács}, Lect. Notes Comput. Sci. 14000, 3--9 (2023; Zbl 07728832) Full Text: DOI
Zavalía, Lucas; Chernigovskaia, Lidiia; Fedyukovich, Grigory Solving constrained Horn clauses over algebraic data types. (English) Zbl 07728627 Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 341-365 (2023). MSC: 68Q60 03B70 68Q65 PDFBibTeX XMLCite \textit{L. Zavalía} et al., Lect. Notes Comput. Sci. 13881, 341--365 (2023; Zbl 07728627) Full Text: DOI
Vick, Cole; McMillan, Kenneth L. Synthesizing history and prophecy variables for symbolic model checking. (English) Zbl 07728626 Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 320-340 (2023). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. Vick} and \textit{K. L. McMillan}, Lect. Notes Comput. Sci. 13881, 320--340 (2023; Zbl 07728626) Full Text: DOI
Van der Plas, Jens; Stiévenart, Quentin; De Roover, Coen Result invalidation for incremental modular analyses. (English) Zbl 07728625 Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 296-319 (2023). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{J. Van der Plas} et al., Lect. Notes Comput. Sci. 13881, 296--319 (2023; Zbl 07728625) Full Text: DOI
Goharshady, Amir Kafshdar; Zaher, Ahmed Khaled Efficient interprocedural data-flow analysis using treedepth and treewidth. (English) Zbl 07728620 Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 177-202 (2023). MSC: 68Q60 68N30 68R10 PDFBibTeX XMLCite \textit{A. K. Goharshady} and \textit{A. K. Zaher}, Lect. Notes Comput. Sci. 13881, 177--202 (2023; Zbl 07728620) Full Text: DOI
Cirisci, Berk; Enea, Constantin; Farzan, Azadeh; Mutluergil, Suha Orhun A pragmatic approach to stateful partial order reduction. (English) Zbl 07728618 Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 129-154 (2023). MSC: 68Q60 68N30 68Q85 PDFBibTeX XMLCite \textit{B. Cirisci} et al., Lect. Notes Comput. Sci. 13881, 129--154 (2023; Zbl 07728618) Full Text: DOI arXiv
Banerjee, Soham; Ghosh, Sumana; Banerjee, Ansuman; Mohalik, Swarup K. SMT-based modeling and verification of spiking neural networks: a case study. (English) Zbl 07728613 Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 25-43 (2023). MSC: 68Q60 68Q07 92B20 PDFBibTeX XMLCite \textit{S. Banerjee} et al., Lect. Notes Comput. Sci. 13881, 25--43 (2023; Zbl 07728613) Full Text: DOI
Raviv, Avraham; Bronshtein, Eliya; Reginiano, Or; Aluf-Medina, Michelle; Kugler, Hillel Learning through imitation by using formal verification. (English) Zbl 1528.68347 Gąsieniec, Leszek (ed.), SOFSEM 2023: theory and practice of computer science. 48th international conference on current trends in theory and practice of computer science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13878, 342-355 (2023). MSC: 68T05 68Q60 PDFBibTeX XMLCite \textit{A. Raviv} et al., Lect. Notes Comput. Sci. 13878, 342--355 (2023; Zbl 1528.68347) Full Text: DOI
Krishna, Shankaranarayanan; Godbole, Adwait; Meyer, Roland; Chakraborty, Soham Parameterized verification under release acquire is PSPACE-complete. (English) Zbl 07824301 Milani, Alessia (ed.) et al., Proceedings of the 41st ACM symposium on principles of distributed computing, PODC ’22, Salerno, Italy, July 25–29, 2022. New York, NY: Association for Computing Machinery (ACM). 482-492 (2022). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{S. Krishna} et al., in: Proceedings of the 41st ACM symposium on principles of distributed computing, PODC '22, Salerno, Italy, July 25--29, 2022. New York, NY: Association for Computing Machinery (ACM). 482--492 (2022; Zbl 07824301) Full Text: DOI
Bertrand, Nathalie; Gramoli, Vincent; Konnov, Igor; Lazic, Marijana; Tholoniat, Pierre; Widder, Josef Brief announcement: Holistic verification of blockchain consensus. (English) Zbl 07824294 Milani, Alessia (ed.) et al., Proceedings of the 41st ACM symposium on principles of distributed computing, PODC ’22, Salerno, Italy, July 25–29, 2022. New York, NY: Association for Computing Machinery (ACM). 424-426 (2022). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{N. Bertrand} et al., in: Proceedings of the 41st ACM symposium on principles of distributed computing, PODC '22, Salerno, Italy, July 25--29, 2022. New York, NY: Association for Computing Machinery (ACM). 424--426 (2022; Zbl 07824294) Full Text: DOI
Feuilloley, Laurent; Bousquet, Nicolas; Pierron, Théo What can be certified compactly? Compact local certification of MSO properties in tree-like graphs. (English) Zbl 07824258 Milani, Alessia (ed.) et al., Proceedings of the 41st ACM symposium on principles of distributed computing, PODC ’22, Salerno, Italy, July 25–29, 2022. New York, NY: Association for Computing Machinery (ACM). 131-140 (2022). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{L. Feuilloley} et al., in: Proceedings of the 41st ACM symposium on principles of distributed computing, PODC '22, Salerno, Italy, July 25--29, 2022. New York, NY: Association for Computing Machinery (ACM). 131--140 (2022; Zbl 07824258) Full Text: DOI
Jimenez Leudo, Santiago; Sanfelice, Ricardo Optimality and asymptotic stability in two-player zero-sum hybrid games. (English) Zbl 07807738 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 30, 2 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{S. Jimenez Leudo} and \textit{R. Sanfelice}, in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 30, 2 p. (2022; Zbl 07807738) Full Text: DOI
Puranic, Aniruddh; Deshmukh, Jyotirmoy; Nikolaidis, Stefanos Poster abstract: Learning from demonstrations with temporal logics. (English) Zbl 07807737 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 29, 2 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{A. Puranic} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 29, 2 p. (2022; Zbl 07807737) Full Text: DOI
Narasimhamurthy, Monal; Sankaranarayanan, Sriram Poster abstract: Decoding output sequences for discrete-time linear hybrid systems. (English) Zbl 07807736 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 28, 2 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{M. Narasimhamurthy} and \textit{S. Sankaranarayanan}, in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 28, 2 p. (2022; Zbl 07807736) Full Text: DOI
Lavaei, Abolfazl; Di Lillo, Luigi; Atzei, Margherita; Censi, Andrea; Frazzoli, Emilio Poster abstract: Data-driven estimation of collision risks for autonomous vehicles with formal guarantees. (English) Zbl 07807735 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 27, 2 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{A. Lavaei} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 27, 2 p. (2022; Zbl 07807735) Full Text: DOI
Balakrishnan, Anand; Jaksic, Stefan; Aguilar, Edgar; Nickovic, Dejan; Deshmukh, Jyotirmoy Poster abstract: Model-free reinforcement learning for symbolic automata-encoded objectives. (English) Zbl 07807734 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 26, 2 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{A. Balakrishnan} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 26, 2 p. (2022; Zbl 07807734) Full Text: DOI
Zhong, Bingzhuo; Lavaei, Abolfazl; Zamani, Majid; Caccamo, Marco Poster abstract: Controller synthesis for nonlinear stochastic games via approximate probabilistic relations. (English) Zbl 07807733 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 2 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{B. Zhong} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 2 p. (2022; Zbl 07807733) Full Text: DOI
Finkbeiner, Bernd; Mallik, Kaushik; Passing, Noemi; Schledjewski, Malte; Schmuck, Anne-Kathrin BOCoSy: small but powerful symbolic output-feedback control. (English) Zbl 07807732 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 24, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{B. Finkbeiner} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 24, 11 p. (2022; Zbl 07807732) Full Text: DOI
Ferlez, James; Khedr, Haitham; Shoukry, Yasser Fast BATLLNN: fast box analysis of two-level lattice neural networks. (English) Zbl 07807731 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 23, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{J. Ferlez} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 23, 11 p. (2022; Zbl 07807731) Full Text: DOI arXiv
Clavière, Arthur; Altieri Sambartolomé, Laura; Asselin, Eric; Garion, Christophe; Pagetti, Claire Verification of machine learning based cyber-physical systems: a comparative study. (English) Zbl 07807730 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 22, 16 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{A. Clavière} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 22, 16 p. (2022; Zbl 07807730) Full Text: DOI
Thorpe, Adam; Oishi, Meeko SOCKS: a stochastic optimal control and reachability toolbox using kernel methods. (English) Zbl 07807729 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 21, 12 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{A. Thorpe} and \textit{M. Oishi}, in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 21, 12 p. (2022; Zbl 07807729) Full Text: DOI arXiv
Delimpaltadakis, Giannis; de Albuquerque Gleizer, Gabriel; van Straalen, Ivo; Mazo, Manuel jun. ETCetera: beyond event-triggered control. (English) Zbl 07807728 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 20, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{G. Delimpaltadakis} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 20, 11 p. (2022; Zbl 07807728) Full Text: DOI arXiv
Weber, Alexander; Macoveiciuc, Elisei; Reissig, Gunther ABS: a formally correct software tool for space-efficient symbolic synthesis. (English) Zbl 07807727 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 19, 10 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{A. Weber} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 19, 10 p. (2022; Zbl 07807727) Full Text: DOI
Jimenez Leudo, Santiago; Sanfelice, Ricardo G. Sufficient conditions for optimality and asymptotic stability in two-player zero-sum hybrid games. (English) Zbl 07807726 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 18, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{S. Jimenez Leudo} and \textit{R. G. Sanfelice}, in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 18, 11 p. (2022; Zbl 07807726) Full Text: DOI
Abbas, Houssam; Pelphrey, Richard A multiresolution analysis of temporal logic. (English) Zbl 07807725 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 17, 10 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{H. Abbas} and \textit{R. Pelphrey}, in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 17, 10 p. (2022; Zbl 07807725) Full Text: DOI
de Oliveira Oliveira, Mateus; Tveretina, Olga Mortality and edge-to-edge reachability are decidable on surfaces. (English) Zbl 07807724 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 16, 10 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{M. de Oliveira Oliveira} and \textit{O. Tveretina}, in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 16, 10 p. (2022; Zbl 07807724) Full Text: DOI
Maghenem, Mohamed; Saoud, Adnane; Loria, Antonio Distributed hybrid gradient algorithm with application to cooperative adaptive estimation. (English) Zbl 07807723 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 15, 10 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{M. Maghenem} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 15, 10 p. (2022; Zbl 07807723) Full Text: DOI
Debauche, Virginie; Della Rossa, Matteo; Jungers, Raphaël M. Necessary and sufficient conditions for template-dependent ordering of path-complete Lyapunov methods. (English) Zbl 07807722 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 14, 10 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{V. Debauche} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 14, 10 p. (2022; Zbl 07807722) Full Text: DOI
Aazan, Georges; Girard, Antoine; Mason, Paolo; Greco, Luca Stability of discrete-time switched linear systems with \(\omega\)-regular switching sequences. (English) Zbl 07807721 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 7 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{G. Aazan} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 7 p. (2022; Zbl 07807721) Full Text: DOI
Anand, Mahathi; Murali, Vishnu; Trivedi, Ashutosh; Zamani, Majid k-inductive barrier certificates for stochastic systems. (English) Zbl 07807720 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 12, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{M. Anand} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 12, 11 p. (2022; Zbl 07807720) Full Text: DOI
Scher, Guy; Sadraddini, Sadra; Tedrake, Russ; Kress-Gazit, Hadas Elliptical slice sampling for probabilistic verification of stochastic systems with signal temporal logic specifications. (English) Zbl 07807719 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 11, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{G. Scher} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 11, 11 p. (2022; Zbl 07807719) Full Text: DOI arXiv
Lindemann, Lars; Rodionova, Alena; Pappas, George Temporal robustness of stochastic signals. (English) Zbl 07807718 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 10, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{L. Lindemann} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 10, 11 p. (2022; Zbl 07807718) Full Text: DOI arXiv
Mao, Yuanqi; Acikmese, Behcet; Garoche, Pierre-Loic; Chapoutot, Alexandre Successive convexification for optimal control with signal temporal logic specifications. (English) Zbl 07807717 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 9, 7 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{Y. Mao} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 9, 7 p. (2022; Zbl 07807717) Full Text: DOI
Rutledge, Kwesi; Ozay, Necmiye Correct-by-construction exploration and exploitation for unknown linear systems using bilinear optimization. (English) Zbl 07807716 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 8, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{K. Rutledge} and \textit{N. Ozay}, in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 8, 11 p. (2022; Zbl 07807716) Full Text: DOI
Gleizer, Gabriel de Albuquerque; Madnani, Khushraj; Mazo, Manuel jun. A simpler alternative: minimizing transition systems modulo alternating simulation equivalence. (English) Zbl 07807715 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 7, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{G. de A. Gleizer} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 7, 11 p. (2022; Zbl 07807715) Full Text: DOI arXiv
Narasimhamurthy, Monal; Sankaranarayanan, Sriram Decoding output sequences for discrete-time linear hybrid systems. (English) Zbl 07807714 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 6, 7 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{M. Narasimhamurthy} and \textit{S. Sankaranarayanan}, in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 6, 7 p. (2022; Zbl 07807714) Full Text: DOI
Ghorbel, Bassem; Prabhu, Vinayak Linear time monitoring for one variable TPTL. (English) Zbl 07807713 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 5, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{B. Ghorbel} and \textit{V. Prabhu}, in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 5, 11 p. (2022; Zbl 07807713) Full Text: DOI
Lidén Eddeland, Johan; Donzé, Alexandre; Åkesson, Knut Multi-requirement testing using focused falsification. (English) Zbl 07807712 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 4, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{J. Lidén Eddeland} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 4, 11 p. (2022; Zbl 07807712) Full Text: DOI
Zhao, Qingye; Chen, Xin; Zhao, Zhuoyu; Zhang, Yifan; Tang, Enyi; Li, Xuandong Verifying neural network controlled systems using neural networks. (English) Zbl 07807711 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 3, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{Q. Zhao} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 3, 11 p. (2022; Zbl 07807711) Full Text: DOI
Tan, Yong Kiam; Mitsch, Stefan; Platzer, André Verifying switched system stability with logic. (English) Zbl 07807710 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 2, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{Y. K. Tan} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 2, 11 p. (2022; Zbl 07807710) Full Text: DOI arXiv
Adimoolam, Arvind; Saha, Indranil Using intersection of unions to minimize multi-directional linearization error in reachability analysis. (English) Zbl 07807709 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 1, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{A. Adimoolam} and \textit{I. Saha}, in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 1, 11 p. (2022; Zbl 07807709) Full Text: DOI
Nester, Chad Situated transition systems. (English) Zbl 07804575 Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 103-115 (2022). MSC: 18M05 68Q60 PDFBibTeX XMLCite \textit{C. Nester}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 103--115 (2022; Zbl 07804575) Full Text: arXiv Link
Acampora, Renato; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Picotti, Valentino Controller synthesis for timeline-based games. (English) Zbl 07802076 Ganty, Pierre (ed.) et al., Proceedings of the 13th international symposium on games, automata, logics, and formal verification, GandALF 2022, Madrid, Spain, September 21–23, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 370, 131-146 (2022). MSC: 68T20 68Q60 91A99 PDFBibTeX XMLCite \textit{R. Acampora} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 370, 131--146 (2022; Zbl 07802076) Full Text: arXiv Link
Bozzelli, Laura; Peron, Adriano Parametric interval temporal logic over infinite words. (English) Zbl 07802074 Ganty, Pierre (ed.) et al., Proceedings of the 13th international symposium on games, automata, logics, and formal verification, GandALF 2022, Madrid, Spain, September 21–23, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 370, 97-113 (2022). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{L. Bozzelli} and \textit{A. Peron}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 370, 97--113 (2022; Zbl 07802074) Full Text: arXiv Link
Winkler, Tobias; Gehnen, Christina; Katoen, Joost-Pieter Model checking temporal properties of recursive probabilistic programs. (English) Zbl 07793042 Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 449-469 (2022). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{T. Winkler} et al., Lect. Notes Comput. Sci. 13242, 449--469 (2022; Zbl 07793042) Full Text: DOI arXiv
Neubauer, Sophie A.; Grosu, Radu Robustness analysis of continuous-depth models with Lagrangian techniques. (English) Zbl 1528.68231 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 625-649 (2022). MSC: 68Q60 68T05 PDFBibTeX XMLCite \textit{S. A. Neubauer} and \textit{R. Grosu}, Lect. Notes Comput. Sci. 13660, 625--649 (2022; Zbl 1528.68231) Full Text: DOI arXiv
Alur, Rajeev; Bansal, Suguman; Bastani, Osbert; Jothimurugan, Kishor A framework for transforming specifications in reinforcement learning. (English) Zbl 1528.68205 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 604-624 (2022). MSC: 68Q60 68T05 90C40 PDFBibTeX XMLCite \textit{R. Alur} et al., Lect. Notes Comput. Sci. 13660, 604--624 (2022; Zbl 1528.68205) Full Text: DOI arXiv
Lin, Vivian; Ivanov, Radoslav; Weimer, James; Sokolsky, Oleg; Lee, Insup T4V: exploring neural network architectures that improve the scalability of neural network verification. (English) Zbl 1528.68230 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 585-603 (2022). MSC: 68Q60 68T07 PDFBibTeX XMLCite \textit{V. Lin} et al., Lect. Notes Comput. Sci. 13660, 585--603 (2022; Zbl 1528.68230) Full Text: DOI
Jhala, Ranjit Embedded domain specific verifiers. (English) Zbl 1528.68227 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 535-553 (2022). MSC: 68Q60 68N18 68V15 PDFBibTeX XMLCite \textit{R. Jhala}, Lect. Notes Comput. Sci. 13660, 535--553 (2022; Zbl 1528.68227) Full Text: DOI
Frenkel, Hadar; Grumberg, Orna; Rothenberg, Bat-Chen; Sheinvald, Sarai Automated program repair using formal verification techniques. (English) Zbl 1528.68079 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 511-534 (2022). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{H. Frenkel} et al., Lect. Notes Comput. Sci. 13660, 511--534 (2022; Zbl 1528.68079) Full Text: DOI
Incer, Inigo; Benveniste, Albert; Sangiovanni-Vincentelli, Alberto; Seshia, Sanjit A. From interface automata to hypercontracts. (English) Zbl 1528.68186 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 477-493 (2022). MSC: 68Q45 68N30 68Q60 PDFBibTeX XMLCite \textit{I. Incer} et al., Lect. Notes Comput. Sci. 13660, 477--493 (2022; Zbl 1528.68186) Full Text: DOI
Bacci, Giorgio; Bacci, Giovanni; Jensen, Mathias Claus; Larsen, Kim G. Convex lattice equation systems. (English) Zbl 1528.68206 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 438-455 (2022). MSC: 68Q60 68Q10 68Q87 91A15 PDFBibTeX XMLCite \textit{G. Bacci} et al., Lect. Notes Comput. Sci. 13660, 438--455 (2022; Zbl 1528.68206) Full Text: DOI