![\"\"](\"https:\/\/hscc.acm.org\/2025\/wp-content\/uploads\/2021\/02\/re.png\")
Further Results on Stability of Linear Systems with Slow and Fast Time Variation and Switching<\/em><\/p>\n\n\n\nEric Goubault and Sylvie Putot. Swantje Plambeck, Aaron Bracht, Nemanja Hranisavljevic and Goerschwin Fey. Ashwani Anand, Satya Prakash Nayak and Anne-Kathrin Schmuck. Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng and Zhibin Li. Abolfazl Lavaei. Xiao Guo, Jianhua Zhao and Lei Bu. Rajab Aghamov, Christel Baier, Toghrul Karimov, Joel Ouaknine and Jakob Piribauer. Julien Calbert, S\u00e9bastien Mattenet, Antoine Girard and Rapha\u00ebl Jungers. Yulong Gao, Karl H. Johansson and Alessandro Abate. Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner and Sriram Sankaranarayanan. Guillaume Berger, Masoumeh Ghanbarpour and Sriram Sankaranarayanan. Vishnu Murali, Ashutosh Trivedi and Majid Zamani. Hussein Sibai and Enrique Mallada. Yu Teng, Miaomiao Zhang and Jie An. Guillaume Berger, Monal Narasimhamurthy and Sriram Sankaranarayanan. Christian Abu-Mrad and Houssam Abbas. Ameneh Nejati, Satya Prakash Nayak and Anne-Kathrin Schmuck. Carlos Andres Montenegro Gonzalez, Santiago Jimenez Leudo and Ricardo G. Sanfelice. Chaomin Jin, Xiaoxuan Ma, Tianxiang Ren, Wang Lin and Zuohua Ding. Bassem Ghorbel and Vinayak Prabhu. Ruya Karagulle, Necmiye Ozay, Nikos Arechiga, Jonathan DeCastro and Andrew Best. Severin Bals, Alexandros Evangelidis, Jan Kretinsky and Jakob Waibel. Jun Liu, Yiming Meng, Maxwell Fitzsimmons and Ruikun Zhou. Alec Edwards, Andrea Peruffo and Alessandro Abate. Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata and Amir Rahmati. Ratnangshu Das and Pushpak Jagtap. Omid Akbarzadeh and Abolfazl Lavaei. Ben Wooding and Abolfazl Lavaei. Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner and Sriram Sankaranarayanan. Jun Liu, Yiming Meng and Ruikun Zhou. Severin Bals, Alexandros Evangelidis, Jan Kretinsky and Jakob Waibel. Regular papers Daniel Liberzon and Hyungbo Shim. Further Results on Stability of Linear Systems with Slow and Fast Time Variation and Switching Eric Goubault and Sylvie Putot.Inner and Outer Approximate Quantifier Elimination for General Reachability Problems Swantje Plambeck, Aaron Bracht, Nemanja Hranisavljevic and Goerschwin Fey. FaMoS\u2013 Fast Model Learning for […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/pages\/670"}],"collection":[{"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/comments?post=670"}],"version-history":[{"count":111,"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/pages\/670\/revisions"}],"predecessor-version":[{"id":1518,"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/pages\/670\/revisions\/1518"}],"wp:attachment":[{"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/media?parent=670"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
Inner and Outer Approximate Quantifier Elimination for General Reachability Problems<\/em><\/p>\n\n\n\n FaMoS\u2013 Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees<\/em><\/p>\n\n\n\n Contract-based Distributed Logical Controller Synthesis<\/em><\/p>\n\n\n\n A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains<\/em><\/p>\n\n\n\n Abstraction-based Synthesis of Stochastic Hybrid Systems<\/em><\/p>\n\n\n\n Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters<\/em><\/p>\n\n\n\n
Linear Dynamical Systems with Continuous Weight Functions<\/em><\/p>\n\n\n\n
Memoryless Concretization Relation<\/em><\/p>\n\n\n\n
CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations<\/em><\/p>\n\n\n\n Temporal Behavior Trees: Robustness and Segmentation<\/em><\/p>\n\n\n\n
Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis<\/em><\/p>\n\n\n\n
Closure Certificates<\/em><\/p>\n\n\n\n
Recurrence of Nonlinear Control Systems: Entropy and Bit Rates<\/em><\/p>\n\n\n\n
Learning Deterministic Multi-Clock Timed Automata<\/em><\/p>\n\n\n\n
Algorithms for Identifying Flagged and Guarded Linear Systems<\/em><\/p>\n\n\n\n
Approximating the Geometry of Temporal Logic Formulas<\/em><\/p>\n\n\n\n Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates<\/em><\/p>\n\n\n\n A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems<\/em><\/p>\n\n\n\n
Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning<\/em><\/p>\n\n\n\n
Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic<\/em><\/p>\n\n\n\n Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles<\/em><\/p>\n\n\n\nTool papers <\/h2>\n\n\n\n
MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-payoff, LTL and Steady-state Constraints<\/em><\/p>\n\n\n\n LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction<\/em><\/p>\n\n\n\n Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models<\/em><\/p>\n\n\n\n Falsification using Reachability of Surrogate Koopman Models<\/em><\/p>\n\n\n\nPosters<\/h2>\n\n\n\n
Spatiotemporal Tubes for Reach-Avoid-Stay Specifications<\/em><\/p>\n\n\n\n
Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks<\/em><\/p>\n\n\n\n
IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees<\/em><\/p>\n\n\n\n
Temporal Behavior Trees — Segmentation<\/em><\/p>\n\n\n\n
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees<\/em><\/p>\n\n\n\n
MULTIGAIN 2.0: MDP Controller Synthesis for Multiple Mean-payoff, LTL and Steady-state Constraints<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"