| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers |
Memoryless concretization relation.  |
HSCC  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Abou-Mrad, Houssam Abbas |
Approximating the Geometry of Temporal Logic Formulas. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Omid Akbarzadeh, Abolfazl Lavaei |
Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou |
TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashwani Anand, Anne-Kathrin Schmuck, Satya Prakash Nayak |
Contract-Based Distributed Logical Controller Synthesis. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel |
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume O. Berger, Masoumeh Ghanbarpour, Sriram Sankaranarayanan 0001 |
Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Ratnangshu Das, Pushpak Jagtap |
Spatiotemporal Tubes for Reach-Avoid-Stay Specifications✱. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Hussein Sibai, Enrique Mallada |
Recurrence of Nonlinear Control Systems: Entropy and Bit Rates. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Swantje Plambeck, Aaron Bracht, Nemanja Hranisavljevic, Görschwin Fey |
FaMoS- Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos A. Montenegro G., Santiago J. Leudo, Ricardo G. Sanfelice |
A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou |
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer |
Linear dynamical systems with continuous weight functions. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyungbo Shim, Daniel Liberzon |
Further results on stability of linear systems with slow and fast time variation and switching. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Ameneh Nejati, Satya Prakash Nayak, Anne-Kathrin Schmuck |
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sayan Mitra |
Data-driven Verification of Autonomous Systems: Reachability, Entropy, and Contracts. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li 0005 |
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruya Karagulle, Necmiye Ozay, Nikos Aréchiga, Jonathan A. DeCastro, Andrew Best |
Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan 0001 |
Temporal Behavior Trees - Segmentation. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Abolfazl Lavaei |
Abstraction-based Synthesis of Stochastic Hybrid Systems. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel |
Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yulong Gao, Karl Henrik Johansson, Alessandro Abate |
CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume O. Berger, Monal Narasimhamurthy, Sriram Sankaranarayanan 0001 |
Algorithms for Identifying Flagged and Guarded Linear Systems. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaomin Jin, Xiaoxuan Ma, Tianxiang Ren, Wang Lin, Zuohua Ding |
Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Bassem Ghorbel, Vinayak S. Prabhu |
Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Alec Edwards, Andrea Peruffo, Alessandro Abate |
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Teng, Miaomiao Zhang, Jie An 0001 |
Learning Deterministic Multi-Clock Timed Automata. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao Guo, Jianhua Zhao, Lei Bu |
Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Ábrahám, Manuel Mazo Jr. (eds.) |
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024 |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Wooding, Abolfazl Lavaei |
IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001 |
Closure Certificates. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Sylvie Putot |
Inner and outer approximate quantifier elimination for general reachability problems. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan 0001 |
Temporal Behavior Trees: Robustness and Segmentation. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati |
Falsification using Reachability of Surrogate Koopman Models. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile |
Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Peruffo, Manuel Mazo Jr. |
Poster: Convex Scenario Optimisation for ReLU Networks. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert |
SySCoRe: Synthesis via Stochastic Coupling Relations. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Arman Ferdowsi, Matthias Függer, Thomas Nowak, Ulrich Schmid 0001 |
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tanmay Khandait, Aniruddh Chandratre, Walstan Baptista, Giulia Pedrielli, Georgios Fainekos |
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Chong, Ruggero Lanotte, Massimo Merro, Simone Tini, Jian Xiang |
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov |
Quantitative Verification for Neural Networks using ProbStars. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani |
Poster Abstract: A Toolchain for Accelerated Symbolic Control. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff |
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ertai Luo, Niklas Kochdumper, Stanley Bak |
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Cairoli, Nicola Paoletti, Luca Bortolussi |
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruya Karagulle, Nikos Aréchiga, Andrew Best, Jonathan A. DeCastro, Necmiye Ozay |
Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin 0001 |
An STL-based Approach to Resilient Control for Cyber-Physical Systems. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Arvind Adimoolam, Indranil Saha, Thao Dang 0001 |
Safe Self-Triggered Control Based on Precomputed Reachability Sequences. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023 |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry |
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Ladner, Matthias Althoff |
Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Barbot, Nicolas Basset, Alexandre Donzé |
Wordgen : a Timed word Generation Tool. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehrdad Zareian, Anne-Kathrin Schmuck |
Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck |
Poster Abstract: Permissiveness for Strategy Adaptation. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr. |
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers |
Characterization of the ordering of path-complete stability certificates with addition-closed templates. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti |
Interval Markov Decision Processes with Continuous Action-Spaces. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Akshay Mambakam, Eugene Asarin, Nicolas Basset, Thao Dang 0001 |
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Spandan Das, Pavithra Prabhakar |
Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Neves Egidio, Satya Prakash Nayak, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël M. Jungers |
Poster Abstract: Towards Seamless Reactivity of Hybrid Control. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Heng Ho, Roland B. Ilyes, Zachary Sunberg, Morteza Lahijanian |
Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi 0001, Bardh Hoxha, Danil V. Prokhorov |
Verification of Recurrent Neural Networks with Star Reachability. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daphna Raz, Liren Yang, Brian R. Umberger, Necmiye Ozay |
Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-Stand. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Aniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos |
Stealthy attacks formalized as STL formulas for Falsification of CPS Security. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani |
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mateus de Oliveira Oliveira, Olga Tveretina |
Mortality and Edge-to-Edge Reachability are Decidable on Surfaces. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Monal Narasimhamurthy, Sriram Sankaranarayanan 0001 |
Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Jimenez Leudo, Ricardo G. Sanfelice |
Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingye Zhao, Xin Chen 0027, Zhuoyu Zhao, Yifan Zhang 0005, Enyi Tang, Xuandong Li |
Verifying Neural Network Controlled Systems Using Neural Networks. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | James Ferlez, Haitham Khedr, Yasser Shoukry |
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Georges Aazan, Antoine Girard, Paolo Mason, Luca Greco 0003 |
Stability of discrete-time switched linear systems with ω-regular switching sequences. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Kiam Tan, Stefan Mitsch, André Platzer |
Verifying Switched System Stability With Logic. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Aniruddh Gopinath Puranic, Jyotirmoy Deshmukh, Stefanos Nikolaidis |
Poster Abstract: Learning from Demonstrations with Temporal Logics. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers |
Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Maghenem, Adnane Saoud, Antonio Loría |
Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahathi Anand, Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001 |
k-Inductive Barrier Certificates for Stochastic Systems. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kwesi Rutledge, Necmiye Ozay |
Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Houssam Abbas, Richard Pelphrey |
A Multiresolution Analysis of Temporal Logic. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani 0001, Marco Caccamo |
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam J. Thorpe, Meeko Oishi |
SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Monal Narasimhamurthy, Sriram Sankaranarayanan 0001 |
Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand Balakrishnan 0001, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh |
Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Sylvie Putot (eds.) |
HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022 |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Weber 0004, Elisei Macoveiciuc, Gunther Reissig |
ABS: A formally correct software tool for space-efficient symbolic synthesis. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Lindemann, Alëna Rodionova, George J. Pappas |
Temporal Robustness of Stochastic Signals. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bassem Ghorbel, Vinayak S. Prabhu |
Linear Time Monitoring for One Variable TPTL. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Lidén Eddeland, Alexandre Donzé, Knut Åkesson |
Multi-Requirement Testing Using Focused Falsification. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr. |
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Arvind Adimoolam, Indranil Saha |
Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Jimenez Leudo, Ricardo G. Sanfelice |
Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanqi Mao, Behçet Açikmese, Pierre-Loïc Garoche, Alexandre Chapoutot |
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Giannis Delimpaltadakis, Gabriel de Albuquerque Gleizer, Ivo van Straalen, Manuel Mazo Jr. |
ETCetera: beyond Event-Triggered Control. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck |
BOCoSy: Small but Powerful Symbolic Output-Feedback Control. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani 0001 |
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingye Zhao, Xin Chen 0027, Yifan Zhang 0005, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li |
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff |
Adaptive parameter tuning for reachability analysis of nonlinear systems. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Satya Prakash Nayak, Daniel Neider, Martin Zimmermann 0002 |
Adaptive strategies for rLTL games. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license