default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th HSCC 2023: San Antonio, TX, USA
- Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023. ACM 2023
- Francesca Cairoli
, Nicola Paoletti, Luca Bortolussi:
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. 1:1-1:11 - Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin:
An STL-based Approach to Resilient Control for Cyber-Physical Systems. 2:1-2:12 - Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile:
Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic. 3:1-3:12 - Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov:
Quantitative Verification for Neural Networks using ProbStars. 4:1-4:12 - Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff:
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions. 5:1-5:12 - Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov:
Verification of Recurrent Neural Networks with Star Reachability. 6:1-6:13 - Arvind Adimoolam, Indranil Saha, Thao Dang:
Safe Self-Triggered Control Based on Precomputed Reachability Sequences. 7:1-7:12 - Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers:
Characterization of the ordering of path-complete stability certificates with addition-closed templates. 8:1-8:10 - Mehrdad Zareian, Anne-Kathrin Schmuck:
Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications. 9:1-9:7 - Arman Ferdowsi, Matthias Függer, Thomas Nowak, Ulrich Schmid:
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. 10:1-10:11 - Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr.:
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems. 11:1-11:10 - Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti:
Interval Markov Decision Processes with Continuous Action-Spaces. 12:1-12:10 - Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert:
SySCoRe: Synthesis via Stochastic Coupling Relations. 13:1-13:11 - Akshay Mambakam, Eugene Asarin, Nicolas Basset, Thao Dang:
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions. 14:1-14:13 - Aniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos:
Stealthy attacks formalized as STL formulas for Falsification of CPS Security. 15:1-15:8 - Benoît Barbot, Nicolas Basset, Alexandre Donzé:
Wordgen : a Timed word Generation Tool. 16:1-16:7 - Ertai Luo, Niklas Kochdumper, Stanley Bak:
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes. 17:1-17:12 - Tobias Ladner, Matthias Althoff:
Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis. 18:1-18:13 - Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry:
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. 19:1-19:11 - Stephen Chong, Ruggero Lanotte, Massimo Merro, Simone Tini, Jian Xiang:
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems. 20:1-20:12 - Spandan Das, Pavithra Prabhakar:
Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. 21:1-21:2 - Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani:
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱. 22:1-22:2 - Daphna Raz, Liren Yang, Brian R. Umberger, Necmiye Ozay:
Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand. 23:1-23:2 - Ruya Karagulle, Nikos Aréchiga, Andrew Best, Jonathan A. DeCastro, Necmiye Ozay:
Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles. 24:1-24:2 - Qi Heng Ho, Roland B. Ilyes, Zachary Sunberg, Morteza Lahijanian:
Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty. 25:1-25:2 - Andrea Peruffo, Manuel Mazo Jr.:
Poster: Convex Scenario Optimisation for ReLU Networks. 26:1-26:2 - Lucas Neves Egidio, Satya Prakash Nayak, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël M. Jungers:
Poster Abstract: Towards Seamless Reactivity of Hybrid Control. 27:1-27:2 - Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani:
Poster Abstract: A Toolchain for Accelerated Symbolic Control. 28:1-28:2 - Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck:
Poster Abstract: Permissiveness for Strategy Adaptation. 29:1-29:2 - Tanmay Khandait, Aniruddh Chandratre, Walstan Baptista, Giulia Pedrielli, Georgios Fainekos:
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator. 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 2024-12-23 19:39 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:
