default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th HSCC 2022: Milan, Italy
- Ezio Bartocci, Sylvie Putot:
HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022. ACM 2022, ISBN 978-1-4503-9196-2 - Arvind Adimoolam
, Indranil Saha:
Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis. 1:1-1:11 - Yong Kiam Tan, Stefan Mitsch, André Platzer:
Verifying Switched System Stability With Logic. 2:1-2:11 - Qingye Zhao, Xin Chen, Zhuoyu Zhao, Yifan Zhang, Enyi Tang, Xuandong Li:
Verifying Neural Network Controlled Systems Using Neural Networks. 3:1-3:11 - Johan Lidén Eddeland, Alexandre Donzé, Knut Åkesson:
Multi-Requirement Testing Using Focused Falsification. 4:1-4:11 - Bassem Ghorbel, Vinayak S. Prabhu:
Linear Time Monitoring for One Variable TPTL. 5:1-5:11 - Monal Narasimhamurthy, Sriram Sankaranarayanan:
Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. 6:1-6:7 - Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr.:
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. 7:1-7:11 - Kwesi Rutledge, Necmiye Ozay:
Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization. 8:1-8:11 - Yuanqi Mao, Behçet Açikmese, Pierre-Loïc Garoche, Alexandre Chapoutot:
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications. 9:1-9:7 - Lars Lindemann, Alëna Rodionova, George J. Pappas:
Temporal Robustness of Stochastic Signals. 10:1-10:11 - Guy Scher, Sadra Sadraddini, Russ Tedrake, Hadas Kress-Gazit:
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. 11:1-11:11 - Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
k-Inductive Barrier Certificates for Stochastic Systems. 12:1-12:11 - Georges Aazan, Antoine Girard, Paolo Mason, Luca Greco:
Stability of discrete-time switched linear systems with ω-regular switching sequences. 13:1-13:7 - Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers:
Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods. 14:1-14:10 - Mohamed Maghenem, Adnane Saoud, Antonio Loría:
Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation. 15:1-15:10 - Mateus de Oliveira Oliveira, Olga Tveretina:
Mortality and Edge-to-Edge Reachability are Decidable on Surfaces. 16:1-16:10 - Houssam Abbas, Richard Pelphrey:
A Multiresolution Analysis of Temporal Logic. 17:1-17:10 - Santiago Jimenez Leudo, Ricardo G. Sanfelice:
Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games. 18:1-18:11 - Alexander Weber, Elisei Macoveiciuc, Gunther Reissig:
ABS: A formally correct software tool for space-efficient symbolic synthesis. 19:1-19:10 - Giannis Delimpaltadakis, Gabriel de Albuquerque Gleizer, Ivo van Straalen, Manuel Mazo Jr.:
ETCetera: beyond Event-Triggered Control. 20:1-20:11 - Adam J. Thorpe, Meeko Oishi:
SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods. 21:1-21:12 - Arthur Clavière, Laura Altieri Sambartolomé, Eric Asselin, Christophe Garion, Claire Pagetti:
Verification of machine learning based cyber-physical systems: a comparative study. 22:1-22:16 - James Ferlez, Haitham Khedr, Yasser Shoukry:
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks. 23:1-23:11 - Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck:
BOCoSy: Small but Powerful Symbolic Output-Feedback Control. 24:1-24:11 - Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo:
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations. 25:1-25:2 - Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh:
Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. 26:1-26:2 - Abolfazl Lavaei, Luigi Di Lillo, Margherita Atzei, Andrea Censi, Emilio Frazzoli:
Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees. 27:1-27:2 - Monal Narasimhamurthy, Sriram Sankaranarayanan:
Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. 28:1-28:2 - Aniruddh Gopinath Puranic, Jyotirmoy Deshmukh, Stefanos Nikolaidis:
Poster Abstract: Learning from Demonstrations with Temporal Logics. 29:1-29:2 - Santiago Jimenez Leudo, Ricardo G. Sanfelice:
Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games. 30:1-30:2
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-18 21:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
