Abstract is missing.
- Correct and Efficient Policy Monitoring, a RetrospectiveDavid A. Basin, Srdan Krstic, Joshua Schneider 0001, Dmitriy Traytel. 3-30 [doi]
- Learning Nonlinear Hybrid Automata from Input-Output Time-Series DataAmit Gurung, Masaki Waga, Kohei Suenaga. 33-52 [doi]
- A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular LanguagesYong Li 0031, Sven Schewe, Qiyi Tang 0001. 53-73 [doi]
- On the Containment Problem for Deterministic Multicounter Machine ModelsOscar H. Ibarra, Ian McQuillan. 74-94 [doi]
- Parallel and Incremental Verification of Hybrid Automata with Ray and VerseHaoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra. 95-114 [doi]
- An Automata Theoretic Characterization of Weighted First-Order LogicDhruv Nevatia, Benjamin Monmege. 115-133 [doi]
- Graph-Based Reductions for Parametric and Weighted MDPsKasper Engelen, Guillermo A. Pérez 0001, Shrisha Rao 0002. 137-157 [doi]
- Scenario Approach for Parametric Markov ModelsYing Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue 0001, Lijun Zhang 0001. 158-180 [doi]
- Fast Verified SCCs for Probabilistic Model CheckingArnd Hartmanns, Bram Kohlen, Peter Lammich. 181-202 [doi]
- Bi-objective Lexicographic Optimization in Markov Decision Processes with Related ObjectivesDamien Busatto-Gaston, Debraj Chakraborty 0002, Anirban Majumdar 0002, Sayan Mukherjee 0002, Guillermo A. Pérez 0001, Jean-François Raskin. 203-223 [doi]
- Model Checking Strategies from Synthesis over Finite TracesSuguman Bansal, Yong Li 0031, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells. 227-247 [doi]
- Reactive Synthesis of Smart Contract Control FlowsBernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing. 248-269 [doi]
- Synthesis of Distributed Protocols by Enumeration Modulo IsomorphismsDerek Egolf, Stavros Tripakis. 270-291 [doi]
- Controller Synthesis for Reactive Systems with Communication Delay by Formula TranslationJ. S. Sajiv Kumar, Raghavan Komondoor. 292-311 [doi]
- Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical SystemsShengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty. 312-333 [doi]
- Compositional High-Quality SynthesisRafael Dewes, Rayna Dimitrova. 334-354 [doi]
- Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic SystemsMatin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic. 357-379 [doi]
- An Automata-Theoretic Approach to Synthesizing Binarized Neural NetworksYe Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang 0001, Hongxu Zhu. 380-400 [doi]
- Syntactic vs Semantic Linear Abstraction and Refinement of Neural NetworksCalvin Chau, Jan Kretínský, Stefanie Mohr. 401-421 [doi]
- Using Counterexamples to Improve Robustness Verification in Neural NetworksMohammad Afzal, Ashutosh Gupta 0001, S. Akshay 0001. 422-443 [doi]