Liebke, Torsten; Wolf, Karsten Solving finite-linear-path CTL-formulas using the CEGAR approach. (English) Zbl 07358424 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency XV. Berlin: Springer (ISBN 978-3-662-63078-5/pbk; 978-3-662-63079-2/ebook). Lecture Notes in Computer Science 12530. Journal Subline, 150-164 (2021). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{T. Liebke} and \textit{K. Wolf}, Lect. Notes Comput. Sci. 12530, 150--164 (2021; Zbl 07358424) Full Text: DOI
Benouhiba, Toufik A multi-level refinement approach for structural synthesis of optimal probabilistic models. (English) Zbl 07355384 Fundam. Inform. 179, No. 1, 1-33 (2021). MSC: 68 PDF BibTeX XML Cite \textit{T. Benouhiba}, Fundam. Inform. 179, No. 1, 1--33 (2021; Zbl 07355384) Full Text: DOI
Orlandini, Andrea (ed.); Zimmermann, Martin (ed.) Preface. (English) Zbl 07354957 Inf. Comput. 278, Article ID 104591, 2 p. (2021). MSC: 68-06 68Q45 68Q60 91A80 00B25 PDF BibTeX XML Cite \textit{A. Orlandini} (ed.) and \textit{M. Zimmermann} (ed.), Inf. Comput. 278, Article ID 104591, 2 p. (2021; Zbl 07354957) Full Text: DOI
Fearnley, John; Gairing, Martin; Mnich, Matthias; Savani, Rahul Reachability switching games. (English) Zbl 07350776 Log. Methods Comput. Sci. 17, No. 2, Paper No. 10, 29 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{J. Fearnley} et al., Log. Methods Comput. Sci. 17, No. 2, Paper No. 10, 29 p. (2021; Zbl 07350776) Full Text: Link arXiv
Sproston, Jeremy Probabilistic timed automata with clock-dependent probabilities. (English) Zbl 07350468 Fundam. Inform. 178, No. 1-2, 101-138 (2021). MSC: 68 PDF BibTeX XML Cite \textit{J. Sproston}, Fundam. Inform. 178, No. 1--2, 101--138 (2021; Zbl 07350468) Full Text: DOI
Rossi, Matteo Book review of: J. F. Groote and M. R. Mousavi, Modeling and analysis of communicating systems. (English) Zbl 1460.00021 Formal Asp. Comput. 33, No. 2, 297-298 (2021). MSC: 00A17 68-02 68M10 68M12 68M14 68Q60 68Q85 68W15 PDF BibTeX XML Cite \textit{M. Rossi}, Formal Asp. Comput. 33, No. 2, 297--298 (2021; Zbl 1460.00021) Full Text: DOI
Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Jones, David; Mattarei, Cristian Model-based safety assessment of a triple modular generator with xSAP. (English) Zbl 07349691 Formal Asp. Comput. 33, No. 2, 251-295 (2021). MSC: 68 PDF BibTeX XML Cite \textit{M. Bozzano} et al., Formal Asp. Comput. 33, No. 2, 251--295 (2021; Zbl 07349691) Full Text: DOI
Cousot, Patrick Calculational design of a regular model checker by abstract interpretation. (English) Zbl 07346941 Theor. Comput. Sci. 869, 62-84 (2021). MSC: 68Q PDF BibTeX XML Cite \textit{P. Cousot}, Theor. Comput. Sci. 869, 62--84 (2021; Zbl 07346941) Full Text: DOI
Han, Dongxiao; He, Haijin; Sun, Liuquan; Song, Xinyuan; Xu, Wei Inference in a mixture additive hazards cure model. (English) Zbl 07342199 Stat. Interface 14, No. 3, 323-338 (2021). MSC: 62G08 62N01 PDF BibTeX XML Cite \textit{D. Han} et al., Stat. Interface 14, No. 3, 323--338 (2021; Zbl 07342199) Full Text: DOI
Feng, Yanqin; Zhang, Cheng; Ding, Jieli A model checking method for the additive hazards model with multivariate current status data. (English) Zbl 07342198 Stat. Interface 14, No. 3, 309-321 (2021). MSC: 62 PDF BibTeX XML Cite \textit{Y. Feng} et al., Stat. Interface 14, No. 3, 309--321 (2021; Zbl 07342198) Full Text: DOI
Qureshi, M. I.; Dar, Showkat Ahmad Computation of three theorems of Srinivasa Ramanujan associated with definite integrals connected with Gauss sums. (English) Zbl 07336000 Palest. J. Math. 10, No. 1, 184-198 (2021). MSC: 65 42A38 45A05 68N30 68Q60 PDF BibTeX XML Cite \textit{M. I. Qureshi} and \textit{S. A. Dar}, Palest. J. Math. 10, No. 1, 184--198 (2021; Zbl 07336000) Full Text: Link
Ammar, Ikhlass; El Touati, Yamen; Mullins, John; Yeddes, Moez Timed bounded verification of inclusion based on timed bounded discretized language. (English) Zbl 1458.68111 Int. J. Found. Comput. Sci. 32, No. 2, 175-202 (2021). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{I. Ammar} et al., Int. J. Found. Comput. Sci. 32, No. 2, 175--202 (2021; Zbl 1458.68111) Full Text: DOI
Cousot, Patrick Principles of abstract interpretation (to appear). (English) Zbl 07330887 Cambridge, MA: MIT Press (ISBN 978-0-262-04490-5/hbk). 832 p. (2021). MSC: 68-01 68N01 68Q55 68Q60 PDF BibTeX XML Cite \textit{P. Cousot}, Principles of abstract interpretation (to appear). Cambridge, MA: MIT Press (2021; Zbl 07330887)
Beillahi, Sidi Mohamed; Bouajjani, Ahmed; Enea, Constantin Robustness against transactional causal consistency. (English) Zbl 07327945 Log. Methods Comput. Sci. 17, No. 1, Paper No. 12, 42 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{S. M. Beillahi} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 12, 42 p. (2021; Zbl 07327945) Full Text: Link arXiv
Letan, Thomas; Régis-Gianas, Yann; Chifflier, Pierre; Hiet, Guillaume Modular verification of programs with effects and effects handlers. (English) Zbl 1458.68119 Formal Asp. Comput. 33, No. 1, 127-150 (2021). MSC: 68Q60 68V15 PDF BibTeX XML Cite \textit{T. Letan} et al., Formal Asp. Comput. 33, No. 1, 127--150 (2021; Zbl 1458.68119) Full Text: DOI
Geisler, S.; Haxthausen, A. E. Stepwise development and model checking of a distributed interlocking system using RAISE. (English) Zbl 1458.68117 Formal Asp. Comput. 33, No. 1, 87-125 (2021). MSC: 68Q60 90B20 93B70 PDF BibTeX XML Cite \textit{S. Geisler} and \textit{A. E. Haxthausen}, Formal Asp. Comput. 33, No. 1, 87--125 (2021; Zbl 1458.68117) Full Text: DOI
Dutle, Aaron; Moscato, Mariano; Titolo, Laura; Muñoz, César; Anderson, Gregory; Bobot, François Formal analysis of the compact position reporting algorithm. (English) Zbl 1458.68273 Formal Asp. Comput. 33, No. 1, 65-86 (2021). MSC: 68U35 65Y04 68P30 68Q60 68W40 PDF BibTeX XML Cite \textit{A. Dutle} et al., Formal Asp. Comput. 33, No. 1, 65--86 (2021; Zbl 1458.68273) Full Text: DOI
Cavezza, Davide G.; Alrajeh, Dalal; György, András A weakness measure for GR(1) formulae. (English) Zbl 1458.68115 Formal Asp. Comput. 33, No. 1, 27-63 (2021). MSC: 68Q60 03B44 28A80 28D20 68Q45 PDF BibTeX XML Cite \textit{D. G. Cavezza} et al., Formal Asp. Comput. 33, No. 1, 27--63 (2021; Zbl 1458.68115) Full Text: DOI
Francalanza, Adrian; Cini, Clare Computer says no: verdict explainability for runtime monitors using a local proof system. (English) Zbl 1455.68103 J. Log. Algebr. Methods Program. 119, Article ID 100636, 25 p. (2021). MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{A. Francalanza} and \textit{C. Cini}, J. Log. Algebr. Methods Program. 119, Article ID 100636, 25 p. (2021; Zbl 1455.68103) Full Text: DOI
Bozga, Marius; Iosif, Radu; Sifakis, Joseph Checking deadlock-freedom of parametric component-based systems. (English) Zbl 1455.68102 J. Log. Algebr. Methods Program. 119, Article ID 100621, 23 p. (2021). MSC: 68Q60 03B70 68Q85 PDF BibTeX XML Cite \textit{M. Bozga} et al., J. Log. Algebr. Methods Program. 119, Article ID 100621, 23 p. (2021; Zbl 1455.68102) Full Text: DOI
Marmsoler, Diego; Petrovska, Ana Runtime verification for dynamic architectures. (English) Zbl 1455.68106 J. Log. Algebr. Methods Program. 118, Article ID 100618, 26 p. (2021). MSC: 68Q60 68M07 PDF BibTeX XML Cite \textit{D. Marmsoler} and \textit{A. Petrovska}, J. Log. Algebr. Methods Program. 118, Article ID 100618, 26 p. (2021; Zbl 1455.68106) Full Text: DOI
Albert, Elvira; Gómez-Zamalloa, Miguel; Isabel, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra Actor-based model checking for software-defined networks. (English) Zbl 1455.68101 J. Log. Algebr. Methods Program. 118, Article ID 100617, 26 p. (2021). MSC: 68Q60 68N30 68Q85 PDF BibTeX XML Cite \textit{E. Albert} et al., J. Log. Algebr. Methods Program. 118, Article ID 100617, 26 p. (2021; Zbl 1455.68101) Full Text: DOI
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
Biere, Armin (ed.); Heule, Marijn (ed.); Van Maaren, Hans (ed.); Walsh, Toby (ed.) Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. (English) Zbl 1456.68001 Frontiers in Artificial Intelligence and Applications 336. Amsterdam: IOS Press (ISBN 978-1-64368-160-3/pbk; 978-1-64368-161-0/ebook). xvii, 1465 p. (2021). MSC: 68-00 68Q60 68R07 68T20 68T27 00B15 PDF BibTeX XML Cite \textit{A. Biere} (ed.) et al., Handbook of satisfiability. In 2 parts. 2nd updated and revised edition. Amsterdam: IOS Press (2021; Zbl 1456.68001) Full Text: Link
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. (English) Zbl 07280022 Cambridge: Cambridge University Press (ISBN 978-1-108-48430-5/hbk; 978-1-108-61332-3/ebook). xii, 210 p. (2021). MSC: 68-01 68Q12 68Q60 81P68 PDF BibTeX XML Cite \textit{M. Ying} and \textit{Y. Feng}, Model checking quantum systems. Principles and algorithms. Cambridge: Cambridge University Press (2021; Zbl 07280022) Full Text: DOI
Raskin, Jean-Francois (ed.); Bresolin, Davide (ed.) Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. (English) Zbl 07361054 Electronic Proceedings in Theoretical Computer Science (EPTCS) 326. Waterloo: Open Publishing Association (OPA). 233 p., electronic only. open access (2020). MSC: 68-06 68Q45 68Q60 91A80 00B25 PDF BibTeX XML Cite \textit{J.-F. Raskin} (ed.) and \textit{D. Bresolin} (ed.), Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21--22, 2020. Waterloo: Open Publishing Association (OPA) (2020; Zbl 07361054) Full Text: DOI Link Link
Fribourg, Laurent (ed.); Heizmann, Matthias (ed.) Proceedings of the eighth international workshop on verification and program transformation and the seventh workshop on Horn clauses for verification and synthesis, VPT/HCVS 2020, Dublin, Ireland, April 25–26, 2020. (English) Zbl 07360143 Electronic Proceedings in Theoretical Computer Science (EPTCS) 320. Waterloo: Open Publishing Association (OPA). 127 p., electronic only. open access (2020). MSC: 68-06 68N30 68Q60 00B25 PDF BibTeX XML Cite \textit{L. Fribourg} (ed.) and \textit{M. Heizmann} (ed.), Proceedings of the eighth international workshop on verification and program transformation and the seventh workshop on Horn clauses for verification and synthesis, VPT/HCVS 2020, Dublin, Ireland, April 25--26, 2020. Waterloo: Open Publishing Association (OPA) (2020; Zbl 07360143) Full Text: DOI Link Link
Feng, Zhenghui; Zhang, Jun; Chen, Qian Statistical inference for linear regression models with additive distortion measurement errors. (English) Zbl 07354460 Stat. Pap. 61, No. 6, 2483-2509 (2020). MSC: 62G05 62G08 62G20 PDF BibTeX XML Cite \textit{Z. Feng} et al., Stat. Pap. 61, No. 6, 2483--2509 (2020; Zbl 07354460) Full Text: DOI
Chen, Xiao-lin Regression analysis for the additive hazards model with general biased survival data. (English) Zbl 07342557 Acta Math. Appl. Sin., Engl. Ser. 36, No. 3, 545-556 (2020). MSC: 62N02 62N03 62J02 60G44 PDF BibTeX XML Cite \textit{X.-l. Chen}, Acta Math. Appl. Sin., Engl. Ser. 36, No. 3, 545--556 (2020; Zbl 07342557) Full Text: DOI
Filiot, Emmanuel; Mazzocchi, Nicolas; Raskin, Jean-François A pattern logic for automata with outputs. (English) Zbl 1458.68097 Int. J. Found. Comput. Sci. 31, No. 6, 711-748 (2020). MSC: 68Q45 03B70 68Q25 68Q60 PDF BibTeX XML Cite \textit{E. Filiot} et al., Int. J. Found. Comput. Sci. 31, No. 6, 711--748 (2020; Zbl 1458.68097) Full Text: DOI
Wimmer, Simon; Herbreteau, Frédéric; van de Pol, Jaco Certifying emptiness of timed Büchi automata. (English) Zbl 07317090 Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-57627-1/pbk; 978-3-030-57628-8/ebook). Lecture Notes in Computer Science 12288, 58-75 (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{S. Wimmer} et al., Lect. Notes Comput. Sci. 12288, 58--75 (2020; Zbl 07317090) Full Text: DOI
Mohagheghi, Mohammadsadegh; Chaboki, Behrang Dirac-based reduction techniques for quantitative analysis of discrete-time Markov models. (English) Zbl 07316479 Barbosa, Luís Soares (ed.) et al., Topics in theoretical computer science. Third IFIP WG 1.8 international conference, TTCS 2020, Tehran, Iran, July 1–2, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-57851-0/pbk; 978-3-030-57852-7/ebook). Lecture Notes in Computer Science 12281, 1-16 (2020). MSC: 68Qxx 68R10 68U05 PDF BibTeX XML Cite \textit{M. Mohagheghi} and \textit{B. Chaboki}, Lect. Notes Comput. Sci. 12281, 1--16 (2020; Zbl 07316479) Full Text: DOI
Chai, Xinwei; Ribeiro, Tony; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi Static analysis and stochastic search for reachability problem. (English) Zbl 1458.92032 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. Electron. Notes Theor. Comput. Sci. 350, 139-158 (2020). MSC: 92C42 93B03 93A15 PDF BibTeX XML Cite \textit{X. Chai} et al., Electron. Notes Theor. Comput. Sci. 350, 139--158 (2020; Zbl 1458.92032) Full Text: DOI
Hajnal, Matej; Pastva, Samuel Toward model selection by formal methods. (English) Zbl 1458.92035 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. Electron. Notes Theor. Comput. Sci. 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 1458.92035) 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
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 1458.62099 Test 29, No. 3, 728-749 (2020). MSC: 62G10 62G08 62G09 62M30 62P12 62P30 PDF BibTeX XML Cite \textit{A. Meilán-Vila} et al., Test 29, No. 3, 728--749 (2020; Zbl 1458.62099) 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 1456.91067 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 1456.91067) 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
Carneiro, Mario Metamath Zero: designing a theorem prover prover. (English) Zbl 1455.68243 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 71-88 (2020). MSC: 68V15 68Q60 PDF BibTeX XML Cite \textit{M. Carneiro}, Lect. Notes Comput. Sci. 12236, 71--88 (2020; Zbl 1455.68243) 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 1457.62314 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 1457.62314) 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 03B44 68Q85 68R07 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 68V15 PDF BibTeX XML Cite \textit{J. Jiang} et al., J. Softw. 31, No. 8, 2375--2387 (2020; Zbl 07295745) Full Text: DOI