{"id":595,"date":"2021-02-19T10:07:23","date_gmt":"2021-02-19T10:07:23","guid":{"rendered":"https:\/\/hscc.acm.org\/2021\/?page_id=595"},"modified":"2022-03-24T14:02:33","modified_gmt":"2022-03-24T14:02:33","slug":"accepted-papers","status":"publish","type":"page","link":"https:\/\/hscc.acm.org\/2022\/accepted-papers\/","title":{"rendered":"Accepted Papers"},"content":{"rendered":"\n
<\/div>
\n
\n

Papers that have passed the repeatability evaluation present the RE-passed badge \"\" next to their title. Note that submitting the RE package was mandatory only for Tool and Case Study papers.<\/p>\n\n\n\n

Regular Papers<\/h2>\n\n\n\n

\"\" Stability of discrete-time switched linear systems with omega-regular switching sequence (short)
Georges Aazan, Antoine Girard, Paolo Mason and Luca Greco

<\/em>Multi-Requirement Testing Using Focused Falsification
Johan Lid\u00e9n Eddeland, Alexandre Donz\u00e9 and Knut \u00c5kesson<\/em>

\"\" Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods
Virginie Debauche, Matteo Della Rossa and Rapha\u00ebl M. Jungers<\/em>

Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
Arvind Adimoolam and Indranil Saha

<\/em>\"\" Verifying Switched System Stability With Logic
Yong Kiam Tan, Stefan Mitsch and Andr\u00e9 Platzer

<\/em>\"\"<\/strong> Temporal Robustness of Stochastic Signals
Lars Lindemann, Alena Rodionova and George J. Pappas

<\/em>Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation
Mohamed Maghenem, Adnane Saoud and Antonio Loria

<\/em>\"\" Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
Guy Scher, Sadra Sadraddini, Russ Tedrake and Hadas Kress-Gazit

<\/em>Mortality and Edge-to-Edge Reachability are Decidable on Surfaces
Mateus de Oliveira Oliveira and Olga Tveretina<\/em>

\"\" Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. (short)
Monal Narasimhamurthy and Sriram Sankaranarayanan<\/em>

A Multiresolution Analysis of Temporal Logic (short)
Houssam Abbas and Richard Pelphrey

<\/em>k-Inductive Barrier Certificates for Stochastic Systems
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi and Majid Zamani<\/em>

Verifying Neural Network Controlled Systems Using Neural Networks
Qingye Zhao, Xin Chen, Zhuoyu Zhao, Yifan Zhang, Enyi Tang and Xuandong Li<\/em>

\"\" A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.
Gabriel de A. Gleizer, Khushraj Madnani and Manuel Mazo Jr.<\/em>

\"\" Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games
Santiago Jimenez Leudo and Ricardo G Sanfelice

<\/em>\"\" Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization
Kwesi Rutledge and Necmiye Ozay<\/em>

Linear Time Monitoring for One Variable TPTL
Bassem Ghorbel and Vinayak Prabhu<\/em>

Successive Convexification for Optimal Control with Signal Temporal Logic Specifications (short)
Yuanqi Mao, Behcet Acikmese, Pierre-Loic Garoche and Alexandre Chapoutot<\/em>
<\/em><\/p>\n\n\n\n

Tool and Case Study Papers<\/h3>\n\n\n\n

\"\" ABS: A formally correct software tool for space-efficient symbolic synthesis
Alexander Weber, Elisei Macoveiciuc and Gunther Reissig

<\/em>\"\" ETCetera: beyond Event-Triggered Control
Giannis Delimpaltadakis, Gabriel de Albuquerque Gleizer, Ivo van Straalen and Manuel Mazo Jr.

<\/em>\"\" SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods
Adam Thorpe and Meeko Oishi

<\/em>\"\" Verification of machine learning based cyber-physical systems: a comparative study
Arthur Clavi\u00e8re, Laura Altieri Sambartolom\u00e9, Eric Asselin, Christophe Garion and Claire Pagetti

<\/em>\"\" Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks
James Ferlez, Haitham Khedr and Yasser Shoukry

<\/em>\"\" BOCoSy: Small but Powerful Symbolic Output-Feedback Control
Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski and Anne-Kathrin Schmuck<\/em>
<\/em><\/p>\n<\/div>\n<\/div><\/div>\n\n\n","protected":false},"excerpt":{"rendered":"","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\/2022\/wp-json\/wp\/v2\/pages\/595"}],"collection":[{"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/comments?post=595"}],"version-history":[{"count":25,"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/pages\/595\/revisions"}],"predecessor-version":[{"id":1123,"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/pages\/595\/revisions\/1123"}],"wp:attachment":[{"href":"https:\/\/hscc.acm.org\/2022\/wp-json\/wp\/v2\/media?parent=595"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}