2022 share record
persistent URL:
Anand Balakrishnan , Stefan Jaksic , Edgar A. Aguilar , Dejan Nickovic , Jyotirmoy Deshmukh : Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. HSCC 2022 : 26:1-26:2 share record
persistent URL:
Alexander Weber , Elisei Macoveiciuc , Gunther Reissig : ABS: A formally correct software tool for space-efficient symbolic synthesis. HSCC 2022 : 19:1-19:10 share record
persistent URL:
Georges Aazan , Antoine Girard , Paolo Mason , Luca Greco : Stability of discrete-time switched linear systems with ω-regular switching sequences. HSCC 2022 : 13:1-13:7 share record
persistent URL:
Houssam Abbas , Richard Pelphrey : A Multiresolution Analysis of Temporal Logic. HSCC 2022 : 17:1-17:10 share record
persistent URL:
Arvind Adimoolam , Indranil Saha : Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis. HSCC 2022 : 1:1-1:11 share record
persistent URL:
Mahathi Anand , Vishnu Murali , Ashutosh Trivedi , Majid Zamani : k-Inductive Barrier Certificates for Stochastic Systems. HSCC 2022 : 12:1-12:11 export record
dblp key:
conf/hybrid/ClaviereSAGP22 share record
persistent URL:
Arthur Clavière , Laura Altieri Sambartolomé , Eric Asselin , Christophe Garion , Claire Pagetti : Verification of machine learning based cyber-physical systems: a comparative study. HSCC 2022 : 22:1-22:16 share record
persistent URL:
Virginie Debauche , Matteo Della Rossa , Raphaël M. Jungers : Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods. HSCC 2022 : 14:1-14:10 export record
dblp key:
conf/hybrid/Delimpaltadakis22 share record
persistent URL:
Giannis Delimpaltadakis , Gabriel de Albuquerque Gleizer , Ivo van Straalen , Manuel Mazo Jr. : ETCetera: beyond Event-Triggered Control. HSCC 2022 : 20:1-20:11 share record
persistent URL:
Johan Lidén Eddeland , Alexandre Donzé , Knut Åkesson : Multi-Requirement Testing Using Focused Falsification. HSCC 2022 : 4:1-4:11 share record
persistent URL:
James Ferlez , Haitham Khedr , Yasser Shoukry : Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks. HSCC 2022 : 23:1-23:11 export record
dblp key:
conf/hybrid/FinkbeinerMPSS22 share record
persistent URL:
Bernd Finkbeiner , Kaushik Mallik , Noemi Passing , Malte Schledjewski , Anne-Kathrin Schmuck : BOCoSy: Small but Powerful Symbolic Output-Feedback Control. HSCC 2022 : 24:1-24:11 share record
persistent URL:
Bassem Ghorbel , Vinayak S. Prabhu : Linear Time Monitoring for One Variable TPTL. HSCC 2022 : 5:1-5:11 share record
persistent URL:
Gabriel de Albuquerque Gleizer , Khushraj Madnani , Manuel Mazo Jr. : A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. HSCC 2022 : 7:1-7:11 share record
persistent URL:
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. HSCC 2022 : 27:1-27:2 share record
persistent URL:
Santiago Jimenez Leudo , Ricardo G. Sanfelice : Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games. HSCC 2022 : 18:1-18:11 share record
persistent URL:
Santiago Jimenez Leudo , Ricardo G. Sanfelice : Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games. HSCC 2022 : 30:1-30:2 export record
dblp key:
conf/hybrid/LindemannRP22 share record
persistent URL:
Lars Lindemann , Alëna Rodionova , George J. Pappas : Temporal Robustness of Stochastic Signals. HSCC 2022 : 10:1-10:11 share record
persistent URL:
Mohamed Maghenem , Adnane Saoud , Antonio Loría : Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation. HSCC 2022 : 15:1-15:10 share record
persistent URL:
Yuanqi Mao , Behçet Açikmese , Pierre-Loïc Garoche , Alexandre Chapoutot : Successive Convexification for Optimal Control with Signal Temporal Logic Specifications. HSCC 2022 : 9:1-9:7 export record
dblp key:
conf/hybrid/Narasimhamurthy22 share record
persistent URL:
Monal Narasimhamurthy , Sriram Sankaranarayanan : Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. HSCC 2022 : 6:1-6:7 export record
dblp key:
conf/hybrid/Narasimhamurthy22a share record
persistent URL:
Monal Narasimhamurthy , Sriram Sankaranarayanan : Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. HSCC 2022 : 28:1-28:2 share record
persistent URL:
Mateus de Oliveira Oliveira , Olga Tveretina : Mortality and Edge-to-Edge Reachability are Decidable on Surfaces. HSCC 2022 : 16:1-16:10 share record
persistent URL:
Aniruddh Gopinath Puranic , Jyotirmoy Deshmukh , Stefanos Nikolaidis : Poster Abstract: Learning from Demonstrations with Temporal Logics. HSCC 2022 : 29:1-29:2 share record
persistent URL:
Kwesi Rutledge , Necmiye Ozay : Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization. HSCC 2022 : 8:1-8:11 share record
persistent URL:
Guy Scher , Sadra Sadraddini , Russ Tedrake , Hadas Kress-Gazit : Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. HSCC 2022 : 11:1-11:11 share record
persistent URL:
Yong Kiam Tan , Stefan Mitsch , André Platzer : Verifying Switched System Stability With Logic. HSCC 2022 : 2:1-2:11 share record
persistent URL:
Adam J. Thorpe , Meeko Oishi : SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods. HSCC 2022 : 21:1-21:12 share record
persistent URL:
Qingye Zhao , Xin Chen , Zhuoyu Zhao , Yifan Zhang , Enyi Tang , Xuandong Li : Verifying Neural Network Controlled Systems Using Neural Networks. HSCC 2022 : 3:1-3:11 share record
persistent URL:
Bingzhuo Zhong , Abolfazl Lavaei , Majid Zamani , Marco Caccamo : Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations. HSCC 2022 : 25:1-25:2