Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine Game-theoretic semantics for ATL\(^+\) with applications to model checking. (English) Zbl 07307498 Inf. Comput. 276, Article ID 104554, 24 p. (2021). MSC: 68Q PDF BibTeX XML Cite \textit{V. Goranko} et al., Inf. Comput. 276, Article ID 104554, 24 p. (2021; Zbl 07307498) Full Text: DOI
Liu, Jin; Duan, Zhenhua; Tian, Cong Multi-matching nested relations. (English) Zbl 07300945 Theor. Comput. Sci. 854, 77-93 (2021). MSC: 68Q PDF BibTeX XML Cite \textit{J. Liu} et al., Theor. Comput. Sci. 854, 77--93 (2021; Zbl 07300945) Full Text: DOI
Ying, Mingsheng; Feng, Yuan Model checking quantum systems. Principles and algorithms (to appear). (English) Zbl 07280022 Cambridge: Cambridge University Press (ISBN 978-1-108-48430-5/hbk). (2021). MSC: 68-01 68Q12 68Q60 81P68 PDF BibTeX XML
Chai, Xinwei; Ribeiro, Tony; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi Static analysis and stochastic search for reachability problem. (English) Zbl 07313961 Gupta, Ankit (ed.) et al., Proceedings of SASB 2018, the 9th international workshop on static analysis and systems biology, Freiburg, Germany, August 28, 2018. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 350, 139-158 (2020). MSC: 92C42 PDF BibTeX XML Cite \textit{X. Chai} et al., Electron. Notes Theor. Comput. Sci. 350, 139--158 (2020; Zbl 07313961) Full Text: DOI
Hajnal, Matej; Pastva, Samuel Toward model selection by formal methods. (English) Zbl 07313957 Gupta, Ankit (ed.) et al., Proceedings of SASB 2018, the 9th international workshop on static analysis and systems biology, Freiburg, Germany, August 28, 2018. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 350, 57-71 (2020). MSC: 92C42 PDF BibTeX XML Cite \textit{M. Hajnal} and \textit{S. Pastva}, Electron. Notes Theor. Comput. Sci. 350, 57--71 (2020; Zbl 07313957) Full Text: DOI
Mathur, Umang; Bauer, Matthew S.; Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh Exact quantitative probabilistic model checking through rational search. (English) Zbl 07307315 Form. Methods Syst. Des. 56, No. 1-3, 90-126 (2020). MSC: 68 PDF BibTeX XML Cite \textit{U. Mathur} et al., Form. Methods Syst. Des. 56, No. 1--3, 90--126 (2020; Zbl 07307315) Full Text: DOI
Češka, Milan; Chau, Calvin; Křetínský, Jan SeQuaiA: a scalable tool for semi-quantitative analysis of chemical reaction networks. (English) Zbl 07306433 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 653-666 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{M. Češka} et al., Lect. Notes Comput. Sci. 12224, 653--666 (2020; Zbl 07306433) Full Text: DOI
Fan, Chuchu; Miller, Kristina; Mitra, Sayan Fast and guaranteed safe controller synthesis for nonlinear vehicle models. (English) Zbl 07306432 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 629-652 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{C. Fan} et al., Lect. Notes Comput. Sci. 12224, 629--652 (2020; Zbl 07306432) Full Text: DOI
Sankaranarayanan, Sriram Reachability analysis using message passing over tree decompositions. (English) Zbl 07306431 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 604-628 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{S. Sankaranarayanan}, Lect. Notes Comput. Sci. 12224, 604--628 (2020; Zbl 07306431) Full Text: DOI
Chen, Xin; Peng, Chao; Lin, Wang; Yang, Zhengfeng; Zhang, Yifang; Li, Xuandong A novel approach for solving the BMI problem in barrier certificates generation. (English) Zbl 07306430 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 582-603 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{X. Chen} et al., Lect. Notes Comput. Sci. 12224, 582--603 (2020; Zbl 07306430) Full Text: DOI
Beneš, Nikola; Brim, Luboš; Kadlecaj, Jakub; Pastva, Samuel; Šafránek, David AEON: attractor bifurcation analysis of parametrised Boolean networks. (English) Zbl 07306429 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 569-581 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{N. Beneš} et al., Lect. Notes Comput. Sci. 12224, 569--581 (2020; Zbl 07306429) Full Text: DOI
Devonport, Alex; Khaled, Mahmoud; Arcak, Murat; Zamani, Majid PIRK: scalable interval reachability analysis for high-dimensional nonlinear systems. (English) Zbl 07306428 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 556-568 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{A. Devonport} et al., Lect. Notes Comput. Sci. 12224, 556--568 (2020; Zbl 07306428) Full Text: DOI
Kölbl, Martin; Leue, Stefan; Wies, Thomas TarTar: a timed automata repair tool. (English) Zbl 07306426 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 529-540 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{M. Kölbl} et al., Lect. Notes Comput. Sci. 12224, 529--540 (2020; Zbl 07306426) Full Text: DOI
Slivovsky, Friedrich Interpolation-based semantic gate extraction and its applications to QBF preprocessing. (English) Zbl 07306425 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 508-528 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{F. Slivovsky}, Lect. Notes Comput. Sci. 12224, 508--528 (2020; Zbl 07306425) Full Text: DOI
Temel, Mertcan; Slobodova, Anna; Hunt, Warren A. Jr. Automated and scalable verification of integer multipliers. (English) Zbl 07306424 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 485-507 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{M. Temel} et al., Lect. Notes Comput. Sci. 12224, 485--507 (2020; Zbl 07306424) Full Text: DOI
Soos, Mate; Gocht, Stephan; Meel, Kuldeep S. Tinted, detached, and lazy CNF-XOR solving and its applications to counting and sampling. (English) Zbl 07306423 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 463-484 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{M. Soos} et al., Lect. Notes Comput. Sci. 12224, 463--484 (2020; Zbl 07306423) Full Text: DOI
Bendík, Jaroslav; Meel, Kuldeep S. Approximate counting of minimal unsatisfiable subsets. (English) Zbl 07306422 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 439-462 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{J. Bendík} and \textit{K. S. Meel}, Lect. Notes Comput. Sci. 12224, 439--462 (2020; Zbl 07306422) Full Text: DOI
Gan, Ting; Xia, Bican; Xue, Bai; Zhan, Naijun; Dai, Liyun Nonlinear Craig interpolant generation. (English) Zbl 07306421 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 415-438 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{T. Gan} et al., Lect. Notes Comput. Sci. 12224, 415--438 (2020; Zbl 07306421) Full Text: DOI
Schemmel, Daniel; Büning, Julian; Rodríguez, César; Laprell, David; Wehrle, Klaus Symbolic partial-order execution for testing multi-threaded programs. (English) Zbl 07306419 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 376-400 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{D. Schemmel} et al., Lect. Notes Comput. Sci. 12224, 376--400 (2020; Zbl 07306419) Full Text: DOI
Çirisci, Berk; Enea, Constantin; Farzan, Azadeh; Mutluergil, Suha Orhun Root causing linearizability violations. (English) Zbl 07306418 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 350-375 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{B. Çirisci} et al., Lect. Notes Comput. Sci. 12224, 350--375 (2020; Zbl 07306418) Full Text: DOI
Li, Xiao; Houshmand, Farzin; Lesani, Mohsen Hampa: solver-aided recency-aware replication. (English) Zbl 07306417 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 324-349 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{X. Li} et al., Lect. Notes Comput. Sci. 12224, 324--349 (2020; Zbl 07306417) Full Text: DOI
Jaber, Nouraldin; Jacobs, Swen; Wagner, Christopher; Kulkarni, Milind; Samanta, Roopsha Parameterized verification of systems with global synchronization and guards. (English) Zbl 07306416 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 299-323 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{N. Jaber} et al., Lect. Notes Comput. Sci. 12224, 299--323 (2020; Zbl 07306416) Full Text: DOI
Kragl, Bernhard; Qadeer, Shaz; Henzinger, Thomas A. Refinement for structured concurrent programs. (English) Zbl 07306415 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 275-298 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{B. Kragl} et al., Lect. Notes Comput. Sci. 12224, 275--298 (2020; Zbl 07306415) Full Text: DOI
Nagar, Kartik; Mukherjee, Prasita; Jagannathan, Suresh Semantics, specification, and bounded verification of concurrent libraries in replicated systems. (English) Zbl 07306414 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 251-274 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{K. Nagar} et al., Lect. Notes Comput. Sci. 12224, 251--274 (2020; Zbl 07306414) Full Text: DOI
Nemati, Hamed; Buiras, Pablo; Lindner, Andreas; Guanciale, Roberto; Jacobs, Swen Validation of abstract side-channel models for computer architectures. (English) Zbl 07306413 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 225-248 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{H. Nemati} et al., Lect. Notes Comput. Sci. 12224, 225--248 (2020; Zbl 07306413) Full Text: DOI
Sahai, Shubham; Subramanyan, Pramod; Sinha, Rohit Verification of quantitative hyperproperties using trace enumeration relations. (English) Zbl 07306412 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 201-224 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{S. Sahai} et al., Lect. Notes Comput. Sci. 12224, 201--224 (2020; Zbl 07306412) Full Text: DOI
Albert, Elvira; Gordillo, Pablo; Rubio, Albert; Schett, Maria A. Synthesis of super-optimized smart contracts using Max-SMT. (English) Zbl 07306411 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 177-200 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{E. Albert} et al., Lect. Notes Comput. Sci. 12224, 177--200 (2020; Zbl 07306411) Full Text: DOI
Xu, Dong; Shriver, David; Dwyer, Matthew B.; Elbaum, Sebastian Systematic generation of diverse benchmarks for DNN verification. (English) Zbl 07306406 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 97-121 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{D. Xu} et al., Lect. Notes Comput. Sci. 12224, 97--121 (2020; Zbl 07306406) Full Text: DOI
Bak, Stanley; Tran, Hoang-Dung; Hobbs, Kerianne; Johnson, Taylor T. Improved geometric path enumeration for verifying ReLU neural networks. (English) Zbl 07306405 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 66-96 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{S. Bak} et al., Lect. Notes Comput. Sci. 12224, 66--96 (2020; Zbl 07306405) Full Text: DOI
Elboher, Yizhak Yisrael; Gottschlich, Justin; Katz, Guy An abstraction-based framework for neural network verification. (English) Zbl 07306404 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 43-65 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{Y. Y. Elboher} et al., Lect. Notes Comput. Sci. 12224, 43--65 (2020; Zbl 07306404) Full Text: DOI
Biere, A. (ed.); Heule, M. (ed.); Van Maaren, H. (ed.); Walsh, T. (ed.) Handbook of satisfiability. In 2 volumes (to appear). 2nd edition. (English) Zbl 07305751 Frontiers in Artificial Intelligence and Applications 336. Amsterdam: IOS Press (ISBN 978-1-64368-160-3). 1516 p. (2020). MSC: 68-00 68Q60 68R07 68T20 68T27 00B15 PDF BibTeX XML Cite \textit{A. Biere} (ed.) et al., Handbook of satisfiability. In 2 volumes (to appear). 2nd edition. Amsterdam: IOS Press (2020; Zbl 07305751) Full Text: Link
Meilán-Vila, Andrea; Opsomer, Jean D.; Francisco-Fernández, Mario; Crujeiras, Rosa M. A goodness-of-fit test for regression models with spatially correlated errors. (English) Zbl 07300895 Test 29, No. 3, 728-749 (2020). MSC: 62G10 62H11 62G08 62G09 62P12 62P30 PDF BibTeX XML Cite \textit{A. Meilán-Vila} et al., Test 29, No. 3, 728--749 (2020; Zbl 07300895) Full Text: DOI
Samuel, Stanly; Mallik, Kaushik; Schmuck, Anne-Kathrin; Neider, Daniel Resilient abstraction-based controller design. (English) Zbl 07300874 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 33, 2 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{S. Samuel} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 33, 2 p. (2020; Zbl 07300874) Full Text: DOI
Ozay, Necmiye Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety. (English) Zbl 07300873 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 32, 2 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{N. Ozay}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 32, 2 p. (2020; Zbl 07300873) Full Text: DOI
Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh; Zamani, Majid AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. (English) Zbl 07300872 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 31, 2 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{A. Lavaei} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 31, 2 p. (2020; Zbl 07300872) Full Text: DOI
Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Křetínský, Jan; Weininger, Maximilian; Zamani, Majid dtControl: decision tree learning algorithms for controller representation. (English) Zbl 07300871 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 30, 2 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{P. Ashok} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 30, 2 p. (2020; Zbl 07300871) Full Text: DOI
Ornia, Daniel Jarne; Mazo, Manuel Convergence of ant colony multi-agent swarms. (English) Zbl 07300870 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 29, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{D. J. Ornia} and \textit{M. Mazo}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 29, 11 p. (2020; Zbl 07300870) Full Text: DOI
Ivanov, Radoslav; Carpenter, Taylor J.; Weimer, James; Alur, Rajeev; Pappas, George J.; Lee, Insup Case study: Verifying the safety of an autonomous racing car with a neural network controller. (English) Zbl 07300869 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 28, 7 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{R. Ivanov} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 28, 7 p. (2020; Zbl 07300869) Full Text: DOI
Abhishek, Aakash; Sood, Harry; Jeannin, Jean-Baptiste Formal verification of braking while swerving in automobiles. (English) Zbl 07300868 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 27, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{A. Abhishek} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 27, 11 p. (2020; Zbl 07300868) Full Text: DOI
Shea-Blymyer, Colin; Abbas, Houssam A deontic logic analysis of autonomous systems’ safety. (English) Zbl 07300867 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 26, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{C. Shea-Blymyer} and \textit{H. Abbas}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 26, 11 p. (2020; Zbl 07300867) Full Text: DOI
Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming Synthesizing barrier certificates using neural networks. (English) Zbl 07300866 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 25, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{H. Zhao} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 25, 11 p. (2020; Zbl 07300866) Full Text: DOI
Sadraddini, Sadra; Tedrake, Russ Robust output feedback control with guaranteed constraint satisfaction. (English) Zbl 07300865 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 24, 10 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{S. Sadraddini} and \textit{R. Tedrake}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 24, 10 p. (2020; Zbl 07300865) Full Text: DOI
Anevlavis, Tzanis; Tabuada, Paulo A simple hierarchy for computing controlled invariant sets. (English) Zbl 07300864 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 23, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{T. Anevlavis} and \textit{P. Tabuada}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 23, 11 p. (2020; Zbl 07300864) Full Text: DOI
Jagtap, Pushpak; Swikir, Abdalla; Zamani, Majid Compositional construction of control barrier functions for interconnected control systems. (English) Zbl 07300863 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 22, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{P. Jagtap} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 22, 11 p. (2020; Zbl 07300863) Full Text: DOI
Maghenem, Mohamed; Sanfelice, Ricardo G. Local lipschitzness of reachability maps for hybrid systems with applications to safety. (English) Zbl 07300862 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 21, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{M. Maghenem} and \textit{R. G. Sanfelice}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 21, 11 p. (2020; Zbl 07300862) Full Text: DOI
Caillaud, Benoît; Malandain, Mathias; Thibault, Joan Implicit structural analysis of multimode DAE systems. (English) Zbl 07300861 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 20, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{B. Caillaud} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 20, 11 p. (2020; Zbl 07300861) Full Text: DOI
Proskurnikov, Anton V. Does sample-time emulation preserve exponential stability? (English) Zbl 07300860 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 19, 8 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{A. V. Proskurnikov}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 19, 8 p. (2020; Zbl 07300860) Full Text: DOI
Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja A computable and compositional semantics for hybrid automata. (English) Zbl 07300859 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 18, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{D. Bresolin} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 18, 11 p. (2020; Zbl 07300859) Full Text: DOI
Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Křetínský, Jan; Weininger, Maximilian; Zamani, Majid dtControl: decision tree learning algorithms for controller representation. (English) Zbl 07300858 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 17, 7 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{P. Ashok} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 17, 7 p. (2020; Zbl 07300858) Full Text: DOI
Ghasemi, Kasra; Sadraddini, Sadra; Belta, Calin Compositional synthesis via a convex parameterization of assume-guarantee contracts. (English) Zbl 07300857 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 16, 10 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{K. Ghasemi} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 16, 10 p. (2020; Zbl 07300857) Full Text: DOI
Majumdar, Rupak; Ozay, Necmiye; Schmuck, Anne-Kathrin On abstraction-based controller design with output feedback. (English) Zbl 07300856 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 15, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{R. Majumdar} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 15, 11 p. (2020; Zbl 07300856) Full Text: DOI
Majumdar, Rupak; Mallik, Kaushik; Soudjani, Sadegh Symbolic controller synthesis for Büchi specifications on stochastic systems. (English) Zbl 07300855 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 14, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{R. Majumdar} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 14, 11 p. (2020; Zbl 07300855) Full Text: DOI
Kushner, Taisa; Sankaranarayanan, Sriram; Breton, Marc Conformance verification for neural network models of glucose-insulin dynamics. (English) Zbl 07300854 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 13, 12 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{T. Kushner} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 13, 12 p. (2020; Zbl 07300854) Full Text: DOI
Zarei, Mojtaba; Wang, Yu; Pajic, Miroslav Statistical verification of learning-based cyber-physical systems. (English) Zbl 07300853 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 12, 7 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{M. Zarei} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 12, 7 p. (2020; Zbl 07300853) Full Text: DOI
Waga, Masaki Falsification of cyber-physical systems with robustness-guided black-box checking. (English) Zbl 07300852 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 11, 13 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{M. Waga}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 11, 13 p. (2020; Zbl 07300852) Full Text: DOI
Pilch, Carina; Hartmanns, Arnd; Remke, Anne Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. (English) Zbl 07300851 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 10, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{C. Pilch} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 10, 11 p. (2020; Zbl 07300851) Full Text: DOI
Mohammadinejad, Sara; Deshmukh, Jyotirmoy V.; Puranic, Aniruddh G.; Vazquez-Chanlatte, Marcell; Donzé, Alexandre Interpretable classification of time-series data using efficient enumerative techniques. (English) Zbl 07300850 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 9, 10 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{S. Mohammadinejad} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 9, 10 p. (2020; Zbl 07300850) Full Text: DOI
Han, Hyejin; Maghenem, Mohamed; Sanfelice, Ricardo G. Sufficient conditions for satisfaction of formulas with until operators in hybrid systems. (English) Zbl 07300849 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 8, 10 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{H. Han} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 8, 10 p. (2020; Zbl 07300849) Full Text: DOI
Mascle, Corto; Neider, Daniel; Schwenger, Maximilian; Tabuada, Paulo; Weinert, Alexander; Zimmermann, Martin From LTL to rLTL monitoring. Improved monitorability through robust semantics. (English) Zbl 07300848 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 7, 12 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{C. Mascle} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 7, 12 p. (2020; Zbl 07300848) Full Text: DOI
Ferlez, James; Shoukry, Yasser AReN: assured ReLU NN architecture for model predictive control of LTI systems. (English) Zbl 07300847 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 6, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{J. Ferlez} and \textit{Y. Shoukry}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 6, 11 p. (2020; Zbl 07300847) Full Text: DOI
Rabi, Maben Piece-wise analytic trajectory computation for polytopic switching between stable affine systems. (English) Zbl 07300846 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 5, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{M. Rabi}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 5, 11 p. (2020; Zbl 07300846) Full Text: DOI
Berger, Guillaume O.; Jungers, Raphaël M. Worst-case topological entropy and minimal data rate for state observation of switched linear systems. (English) Zbl 07300845 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 4, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{G. O. Berger} and \textit{R. M. Jungers}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 4, 11 p. (2020; Zbl 07300845) Full Text: DOI
el Hakim, Viktorio S.; Bekooij, Marco J. G. Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automata. (English) Zbl 07300844 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 3, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{V. S. el Hakim} and \textit{M. J. G. Bekooij}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 3, 11 p. (2020; Zbl 07300844) Full Text: DOI
Kochdumper, Niklas; Althoff, Matthias Reachability analysis for hybrid systems with nonlinear guard sets. (English) Zbl 07300843 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 2, 10 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{N. Kochdumper} and \textit{M. Althoff}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 2, 10 p. (2020; Zbl 07300843) Full Text: DOI
Kochdumper, Niklas; Schürmann, Bastian; Althoff, Matthias Utilizing dependencies to obtain subsets of reachable sets. (English) Zbl 07300842 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 1, 10 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{N. Kochdumper} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 1, 10 p. (2020; Zbl 07300842) Full Text: DOI
Saddem-yagoubi, Rim; Naud, Olivier; Godary-dejean, Karen; Crestani, Didier Model-checking precision agriculture logistics: the case of the differential harvest. (English) Zbl 07300245 Discrete Event Dyn. Syst. 30, No. 4, 579-604 (2020). MSC: 91B76 93B50 90B20 PDF BibTeX XML Cite \textit{R. Saddem-yagoubi} et al., Discrete Event Dyn. Syst. 30, No. 4, 579--604 (2020; Zbl 07300245) Full Text: DOI
Xiang, Dongming; Liu, Guanjun Checking data-flow errors based on the guard-driven reachability graph of wfd-net. (English) Zbl 07299768 Comput. Inform. 39, No. 1-2, 193-212 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{D. Xiang} and \textit{G. Liu}, Comput. Inform. 39, No. 1--2, 193--212 (2020; Zbl 07299768) Full Text: DOI
Jin, Peng; Zeleniuch-Jacquotte, Anne; Liu, Mengling Generalized mean residual life models for case-cohort and nested case-control studies. (English) Zbl 07297534 Lifetime Data Anal. 26, No. 4, 789-819 (2020). MSC: 62N05 62P10 PDF BibTeX XML Cite \textit{P. Jin} et al., Lifetime Data Anal. 26, No. 4, 789--819 (2020; Zbl 07297534) Full Text: DOI
Tan, Jinhao; Li, Guoqiang Bounded model checking liveness on basic parallel processes. (Chinese. English summary) Zbl 07295746 J. Softw. 31, No. 8, 2388-2403 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{J. Tan} and \textit{G. Li}, J. Softw. 31, No. 8, 2388--2403 (2020; Zbl 07295746) Full Text: DOI
Jiang, Jingjing; Qiao, Lei; Yang, Mengfei; Yang, Hua; Liu, Bo Operating system task management requirements layer modeling and verification based on Coq. (Chinese. English summary) Zbl 07295745 J. Softw. 31, No. 8, 2375-2387 (2020). MSC: 68N25 68Q60 PDF BibTeX XML Cite \textit{J. Jiang} et al., J. Softw. 31, No. 8, 2375--2387 (2020; Zbl 07295745) Full Text: DOI
Li, Ya’nan; Deng, Yuxin; Liu, Jing Formal modeling and verification of Paxos based on Coq. (Chinese. English summary) Zbl 07295744 J. Softw. 31, No. 8, 2362-2374 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{Y. Li} et al., J. Softw. 31, No. 8, 2362--2374 (2020; Zbl 07295744) Full Text: DOI
Yi, Xingchen; Wei, Hengfeng; Huang, Yu; Qiao, Lei; Lv, Jian TPaxos consensus protocol in PaxosStore: derivation, specification, and refinement. (Chinese. English summary) Zbl 07295743 J. Softw. 31, No. 8, 2336-2361 (2020). MSC: 68M12 68M14 PDF BibTeX XML Cite \textit{X. Yi} et al., J. Softw. 31, No. 8, 2336--2361 (2020; Zbl 07295743) Full Text: DOI
Wang, Changjing; Yu, Xiaojun; Shen, Deming; Luo, Haimei; Zuo, Zhengkang The two-level verification method of shared memory concurrent distributed algorithm based on concurrent Apla language. (Chinese. English summary) Zbl 07295368 J. Jiangxi Norm. Univ., Nat. Sci. Ed. 44, No. 3, 301-306 (2020). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{C. Wang} et al., J. Jiangxi Norm. Univ., Nat. Sci. Ed. 44, No. 3, 301--306 (2020; Zbl 07295368) Full Text: DOI
Nott, David J.; Wang, Xueou; Evans, Michael; Englert, Berthold-Georg Checking for prior-data conflict using prior-to-posterior divergences. (English) Zbl 07292511 Stat. Sci. 35, No. 2, 234-253 (2020). MSC: 62 PDF BibTeX XML Cite \textit{D. J. Nott} et al., Stat. Sci. 35, No. 2, 234--253 (2020; Zbl 07292511) Full Text: DOI Euclid
Lahiri, Shuvendu Kumar (ed.); Wang, Chao (ed.) Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. (English) Zbl 07290434 Lecture Notes in Computer Science 12225. Cham: Springer (ISBN 978-3-030-53290-1/pbk; 978-3-030-53291-8/ebook). xviii, 680 p. (2020). MSC: 68-06 68Q60 00B25 PDF BibTeX XML Cite \textit{S. K. Lahiri} (ed.) and \textit{C. Wang} (ed.), Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21--24, 2020. Proceedings. Part II. Cham: Springer (2020; Zbl 07290434) Full Text: DOI
Lahiri, Shuvendu Kumar (ed.); Wang, Chao (ed.) Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. (English) Zbl 07290433 Lecture Notes in Computer Science 12224. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). xvii, 666 p. (2020). MSC: 68-06 68Q60 00B25 PDF BibTeX XML Cite \textit{S. K. Lahiri} (ed.) and \textit{C. Wang} (ed.), Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21--24, 2020. Proceedings. Part I. Cham: Springer (2020; Zbl 07290433) Full Text: DOI
Chiari, Michele; Mandrioli, Dino; Pradella, Matteo Operator precedence temporal logic and model checking. (English) Zbl 07285588 Theor. Comput. Sci. 848, 47-81 (2020). MSC: 68Q PDF BibTeX XML Cite \textit{M. Chiari} et al., Theor. Comput. Sci. 848, 47--81 (2020; Zbl 07285588) Full Text: DOI
Hung, Dang Van (ed.); Sokolsky, Oleg (ed.) Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. (English) Zbl 07282878 Lecture Notes in Computer Science 12302. Cham: Springer (ISBN 978-3-030-59151-9/pbk; 978-3-030-59152-6/ebook). xiv, 574 p. (2020). MSC: 68-06 68Q60 00B25 PDF BibTeX XML Cite \textit{D. Van Hung} (ed.) and \textit{O. Sokolsky} (ed.), Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19--23, 2020. Proceedings. Cham: Springer (2020; Zbl 07282878) Full Text: DOI
Rice, Gregory; Wirjanto, Tony; Zhao, Yuqian Tests for conditional heteroscedasticity of functional data. (English) Zbl 07276156 J. Time Ser. Anal. 41, No. 6, 733-758 (2020). Reviewer: Frank Werner (Würzburg) MSC: 62R10 62G10 62M10 62P20 91B84 PDF BibTeX XML Cite \textit{G. Rice} et al., J. Time Ser. Anal. 41, No. 6, 733--758 (2020; Zbl 07276156) Full Text: DOI
Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael Automated temporal equilibrium analysis: verification and synthesis of multi-player games. (English) Zbl 07274584 Artif. Intell. 287, Article ID 103353, 26 p. (2020). MSC: 68T PDF BibTeX XML Cite \textit{J. Gutierrez} et al., Artif. Intell. 287, Article ID 103353, 26 p. (2020; Zbl 07274584) Full Text: DOI
Caltais, Georgiana; Mousavi, Mohammad Reza; Singh, Hargurbir Causal reasoning for safety in Hennessy Milner logic. (English) Zbl 07274554 Fundam. Inform. 173, No. 2-3, 217-251 (2020). MSC: 68 PDF BibTeX XML Cite \textit{G. Caltais} et al., Fundam. Inform. 173, No. 2--3, 217--251 (2020; Zbl 07274554) Full Text: DOI
Kapus, Tatjana Specifying reversibility with \(\mathrm{TLA}^+\). (English) Zbl 07271807 J. Log. Algebr. Methods Program. 116, Article ID 100582, 34 p. (2020). MSC: 68 PDF BibTeX XML Cite \textit{T. Kapus}, J. Log. Algebr. Methods Program. 116, Article ID 100582, 34 p. (2020; Zbl 07271807) Full Text: DOI
Hüls, Jannik Model checking hybrid Petri nets with multiple general transition firings. (English) Zbl 1446.68001 Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). 216 p. (2020). MSC: 68-02 68Q60 68Q85 PDF BibTeX XML Cite \textit{J. Hüls}, Model checking hybrid Petri nets with multiple general transition firings. Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.) (2020; Zbl 1446.68001)
Kobayashi, Naoki; Lago, Ugo Dal; Grellois, Charles On the termination problem for probabilistic higher-order recursive programs. (English) Zbl 07269249 Log. Methods Comput. Sci. 16, No. 4, Paper No. 2, 57 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{N. Kobayashi} et al., Log. Methods Comput. Sci. 16, No. 4, Paper No. 2, 57 p. (2020; Zbl 07269249) Full Text: Link arXiv
Hartmanns, Arnd; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim Multi-cost bounded tradeoff analysis in MDP. (English) Zbl 07268911 J. Autom. Reasoning 64, No. 7, 1483-1522 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Hartmanns} et al., J. Autom. Reasoning 64, No. 7, 1483--1522 (2020; Zbl 07268911) Full Text: DOI
Costa, Gabriele; Galletta, Letterio; Degano, Pierpaolo; Basin, David; Bodei, Chiara Natural projection as partial model checking. (English) Zbl 07268910 J. Autom. Reasoning 64, No. 7, 1445-1481 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{G. Costa} et al., J. Autom. Reasoning 64, No. 7, 1445--1481 (2020; Zbl 07268910) Full Text: DOI
Conchon, Sylvain; Declerck, David; Zaïdi, Fatiha Parameterized model checking on the TSO weak memory model. (English) Zbl 07268904 J. Autom. Reasoning 64, No. 7, 1307-1330 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{S. Conchon} et al., J. Autom. Reasoning 64, No. 7, 1307--1330 (2020; Zbl 07268904) Full Text: DOI
Ji, Ye; Wei, Hengfeng; Huang, Yu; Lv, Jian Specifying and verifying CRDT protocols using TLA+. (Chinese. English summary) Zbl 07267129 J. Softw. 31, No. 5, 1332-1352 (2020). MSC: 68Q60 68M12 PDF BibTeX XML Cite \textit{Y. Ji} et al., J. Softw. 31, No. 5, 1332--1352 (2020; Zbl 07267129) Full Text: DOI
Yu, Xianfeng; Li, Yongming An application of intuitionistic fuzzy model checking in engineering decision. (Chinese. English summary) Zbl 07266615 Fuzzy Syst. Math. 34, No. 2, 142-150 (2020). MSC: 68Q60 90B50 03E72 PDF BibTeX XML Cite \textit{X. Yu} and \textit{Y. Li}, Fuzzy Syst. Math. 34, No. 2, 142--150 (2020; Zbl 07266615)
Mahmood, Yasir; Meier, Arne Parameterised complexity of model checking and satisfiability in propositional dependence logic. (English) Zbl 07266051 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). Lecture Notes in Computer Science 12012, 157-174 (2020). MSC: 68P15 68T27 68T35 68U35 PDF BibTeX XML Cite \textit{Y. Mahmood} and \textit{A. Meier}, Lect. Notes Comput. Sci. 12012, 157--174 (2020; Zbl 07266051) Full Text: DOI
Muñoz-Velasco, Emilio (ed.); Ozaki, Ana (ed.); Theobald, Martin (ed.) 27th international symposium on temporal representation and reasoning. TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy. Proceedings. (English) Zbl 1443.68018 LIPIcs – Leibniz International Proceedings in Informatics 178. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-167-2). xi, 19 articles, not consecutively paged, electronic only, open access (2020). MSC: 68-06 03B44 68Q60 68T27 00B25 PDF BibTeX XML Cite \textit{E. Muñoz-Velasco} (ed.) et al., 27th international symposium on temporal representation and reasoning. TIME 2020, September 23--25, 2020, Bozen-Bolzano, Italy. Proceedings. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (2020; Zbl 1443.68018) Full Text: DOI Link
Gajarský, Jakub; Kreutzer, Stephan; Nešetřil, Jaroslav; Ossona de Mendez, Patrice; Pilipczuk, Michał; Siebertz, Sebastian; Toruńczyk, Szymon First-order interpretations of bounded expansion classes. (English) Zbl 1446.68094 ACM Trans. Comput. Log. 21, No. 4, Article No. 29, 41 p. (2020). MSC: 68Q60 03B70 05C75 PDF BibTeX XML Cite \textit{J. Gajarský} et al., ACM Trans. Comput. Log. 21, No. 4, Article No. 29, 41 p. (2020; Zbl 1446.68094) Full Text: DOI
Gajarský, Jakub; Hliněný, Petr; Obdržálek, Jan; Lokshtanov, Daniel; Ramanujan, M. S. A new perspective on FO model checking of dense graph classes. (English) Zbl 1446.68093 ACM Trans. Comput. Log. 21, No. 4, Article No. 28, 23 p. (2020). MSC: 68Q60 03B70 05C75 68Q25 PDF BibTeX XML Cite \textit{J. Gajarský} et al., ACM Trans. Comput. Log. 21, No. 4, Article No. 28, 23 p. (2020; Zbl 1446.68093) Full Text: DOI
Menghi, Claudio; Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San Model checking MITL formulae on timed automata. A logic-based approach. (English) Zbl 1446.68095 ACM Trans. Comput. Log. 21, No. 3, Article No. 26, 44 p. (2020). MSC: 68Q60 03B44 68Q45 PDF BibTeX XML Cite \textit{C. Menghi} et al., ACM Trans. Comput. Log. 21, No. 3, Article No. 26, 44 p. (2020; Zbl 1446.68095) Full Text: DOI
Cavalcanti, Ana; Hierons, Robert M.; Nogueira, Sidney Inputs and outputs in CSP. A model and a testing theory. (English) Zbl 1446.68103 ACM Trans. Comput. Log. 21, No. 3, Article No. 24, 53 p. (2020). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{A. Cavalcanti} et al., ACM Trans. Comput. Log. 21, No. 3, Article No. 24, 53 p. (2020; Zbl 1446.68103) Full Text: DOI
Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas The Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates. (English) Zbl 1446.03064 ACM Trans. Comput. Log. 21, No. 3, Article No. 19, 46 p. (2020). MSC: 03B70 68Q17 68Q60 PDF BibTeX XML Cite \textit{M. Echenim} et al., ACM Trans. Comput. Log. 21, No. 3, Article No. 19, 46 p. (2020; Zbl 1446.03064) Full Text: DOI
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio The power of the weak. (English) Zbl 1446.68089 ACM Trans. Comput. Log. 21, No. 2, Article No. 15, 47 p. (2020). MSC: 68Q60 03B16 03B45 68Q45 PDF BibTeX XML Cite \textit{F. Carreiro} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 15, 47 p. (2020; Zbl 1446.68089) Full Text: DOI
Montenegro, Manuel; Nieva, Susana; Peña, Ricardo; Segura, Clara Extending liquid types to arrays. (English) Zbl 1446.68096 ACM Trans. Comput. Log. 21, No. 2, Article No. 13, 41 p. (2020). MSC: 68Q60 03B38 03B70 PDF BibTeX XML Cite \textit{M. Montenegro} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 13, 41 p. (2020; Zbl 1446.68096) Full Text: DOI
Eickmeyer, Kord; van den Heuvel, Jan; Kawarabayashi, Ken-Ichi; Kreutzer, Stephan; Ossona De Mendez, Patrice; Pilipczuk, Michał; Quiroz, Daniel A.; Rabinovich, Roman; Siebertz, Sebastian Model-checking on ordered structures. (English) Zbl 1446.68092 ACM Trans. Comput. Log. 21, No. 2, Article No. 11, 28 p. (2020). MSC: 68Q60 03B70 05C75 05C83 68Q25 PDF BibTeX XML Cite \textit{K. Eickmeyer} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 11, 28 p. (2020; Zbl 1446.68092) Full Text: DOI
Fraser, Douglas; Giaquinta, Ruben; Hoffmann, Ruth; Ireland, Murray; Miller, Alice; Norman, Gethin Collaborative models for autonomous systems controller synthesis. (English) Zbl 07245544 Formal Asp. Comput. 32, No. 2-3, 157-186 (2020). MSC: 68 PDF BibTeX XML Cite \textit{D. Fraser} et al., Formal Asp. Comput. 32, No. 2--3, 157--186 (2020; Zbl 07245544) Full Text: DOI