Abstract is missing.
- Verifying Neural Network Controlled Systems Using Neural NetworksQingye Zhao, Xin Chen 0027, Zhuoyu Zhao, Yifan Zhang, Enyi Tang, Xuandong Li. [doi]
- Successive Convexification for Optimal Control with Signal Temporal Logic SpecificationsYuanqi Mao, Behçet Açikmese, Pierre-Loïc Garoche, Alexandre Chapoutot. [doi]
- Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability AnalysisArvind Adimoolam, Indranil Saha. [doi]
- Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic SpecificationsGuy Scher, Sadra Sadraddini, Russ Tedrake, Hadas Kress-Gazit. [doi]
- A Multiresolution Analysis of Temporal LogicHoussam Abbas, Richard Pelphrey. [doi]
- Decoding Output Sequences for Discrete-Time Linear Hybrid SystemsMonal Narasimhamurthy, Sriram Sankaranarayanan 0001. [doi]
- Stability of discrete-time switched linear systems with ω-regular switching sequencesGeorges Aazan, Antoine Girard, Paolo Mason, Luca Greco 0003. [doi]
- Verifying Switched System Stability With LogicYong Kiam Tan, Stefan Mitsch, André Platzer. [doi]
- BOCoSy: Small but Powerful Symbolic Output-Feedback ControlBernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck. [doi]
- Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov MethodsVirginie Debauche, Matteo Della Rossa, Raphaël M. Jungers. [doi]
- Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid SystemsMonal Narasimhamurthy, Sriram Sankaranarayanan 0001. [doi]
- Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic RelationsBingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo. [doi]
- ETCetera: beyond Event-Triggered ControlGiannis Delimpaltadakis, Gabriel de Albuquerque Gleizer, Ivo van Straalen, Manuel Mazo Jr.. [doi]
- Temporal Robustness of Stochastic SignalsLars Lindemann, Alëna Rodionova, George J. Pappas. [doi]
- SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel MethodsAdam J. Thorpe, Meeko Oishi. [doi]
- Poster Abstract: Learning from Demonstrations with Temporal LogicsAniruddh Gopinath Puranic, Jyotirmoy Deshmukh, Stefanos Nikolaidis. [doi]
- Verification of machine learning based cyber-physical systems: a comparative studyArthur Clavière, Laura Altieri Sambartolomé, Eric Asselin, Christophe Garion, Claire Pagetti. [doi]
- A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation EquivalenceGabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr.. [doi]
- Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal GuaranteesAbolfazl Lavaei, Luigi Di Lillo, Margherita Atzei, Andrea Censi, Emilio Frazzoli. [doi]
- Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid GamesSantiago Jimenez Leudo, Ricardo G. Sanfelice. [doi]
- ABS: A formally correct software tool for space-efficient symbolic synthesisAlexander Weber 0004, Elisei Macoveiciuc, Gunther Reissig. [doi]
- Linear Time Monitoring for One Variable TPTLBassem Ghorbel, Vinayak Prabhu. [doi]
- Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid GamesSantiago Jimenez Leudo, Ricardo G. Sanfelice. [doi]
- Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural NetworksJames Ferlez, Haitham Khedr, Yasser Shoukry. [doi]
- k-Inductive Barrier Certificates for Stochastic SystemsMahathi Anand, Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani. [doi]
- Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive EstimationMohamed Maghenem, Adnane Saoud, Antonio Loría. [doi]
- Mortality and Edge-to-Edge Reachability are Decidable on SurfacesMateus de Oliveira Oliveira, Olga Tveretina. [doi]
- Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear OptimizationKwesi Rutledge, Necmiye Ozay. [doi]
- Multi-Requirement Testing Using Focused FalsificationJohan Lidén Eddeland, Alexandre Donzé, Knut Åkesson. [doi]
- Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded ObjectivesAnand Balakrishnan 0001, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh. [doi]