Table of Contents

• Linear dynamical systems with continuous weight functionsRajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer. [doi]
• Poles-based Invariant Generation for Verifying the BIBO Stability of Digital FiltersXiao Guo, Jianhua Zhao, Lei Bu. [doi]
• Algorithms for Identifying Flagged and Guarded Linear SystemsGuillaume O. Berger, Monal Narasimhamurthy, Sriram Sankaranarayanan 0001. [doi]
• A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov ChainsHui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li 0005. [doi]
• Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier CertificatesAmeneh Nejati, Satya Prakash Nayak, Anne-Kathrin Schmuck. [doi]
• Data-driven Verification of Autonomous Systems: Reachability, Entropy, and ContractsSayan Mitra. [doi]
• MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel. [doi]
• Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical ModelsAlec Edwards, Andrea Peruffo, Alessandro Abate. [doi]
• Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication NetworksOmid Akbarzadeh, Abolfazl Lavaei. [doi]
• Inner and outer approximate quantifier elimination for general reachability problemsEric Goubault, Sylvie Putot. [doi]
• Approximating the Geometry of Temporal Logic FormulasChristian Abou-Mrad, Houssam Abbas. [doi]
• Memoryless concretization relationJulien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers. [doi]
• Closure CertificatesVishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001. [doi]
• CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based ComputationsYulong Gao, Karl Henrik Johansson, Alessandro Abate. [doi]
• Temporal Behavior Trees: Robustness and SegmentationSebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan 0001. [doi]
• Abstraction-based Synthesis of Stochastic Hybrid SystemsAbolfazl Lavaei. [doi]
• Contract-Based Distributed Logical Controller SynthesisAshwani Anand, Anne-Kathrin Schmuck, Satya Prakash Nayak. [doi]
• Falsification using Reachability of Surrogate Koopman ModelsStanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati. [doi]
• Cone-Based Abstract Interpretation for Nonlinear Positive Invariant SynthesisGuillaume Berger, Masoumeh Ghanbarpour, Sriram Sankaranarayanan 0001. [doi]
• Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement LearningChaomin Jin, Xiaoxuan Ma, Tianxiang Ren, Wang Lin, Zuohua Ding. [doi]
• Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal LogicBassem Ghorbel, Vinayak S. Prabhu. [doi]
• Spatiotemporal Tubes for Reach-Avoid-Stay Specifications✱Ratnangshu Das, Pushpak Jagtap. [doi]
• Further results on stability of linear systems with slow and fast time variation and switchingHyungbo Shim, Daniel Liberzon. [doi]
• Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous VehiclesRuya Karagulle, Necmiye Ozay, Nikos Aréchiga, Jonathan A. DeCastro, Andrew Best. [doi]
• Recurrence of Nonlinear Control Systems: Entropy and Bit RatesHussein Sibai, Enrique Mallada. [doi]
• Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel. [doi]
• Temporal Behavior Trees - SegmentationSebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan 0001. [doi]
• A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid SystemsCarlos A. Montenegro G., Santiago J. Leudo, Ricardo G. Sanfelice. [doi]
• TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of AttractionJun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou. [doi]
• Physics-Informed Neural Networks for Stability Analysis and Control with Formal GuaranteesJun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou. [doi]
• FaMoS- Fast Model Learning for Hybrid Cyber-Physical Systems using Decision TreesSwantje Plambeck, Aaron Bracht, Nemanja Hranisavljevic, Görschwin Fey. [doi]
• Learning Deterministic Multi-Clock Timed AutomataYu Teng, Miaomiao Zhang, Jie An 0001. [doi]
• IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence GuaranteesBen Wooding, Abolfazl Lavaei. [doi]