accepted_papers.html

<!DOCTYPE html>
<html lang=""en>

    <head>
        <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
        <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1">

        <title>HSCC 2020 Accepted Papers</title>
        <link rel="stylesheet" href="styling.css" type="text/css" media="screen" />
        <link rel="stylesheet" href="accepted_papers.css" type="text/css" media="screen" />
    </head>

    <body>
        <h1>HSCC 2020 Accepted Papers</h1>

        <h2>Regular/Tool Papers</h2>
        <ul class="accepted-papers">

            <li class="paper">
                <span class="authors"><span>Niklas Kochdumper, Bastian Schürmann and Matthias Althoff</span>.</span> <span class="title">Utilizing Dependencies to Obtain Subsets of Reachable
                Sets</span>
            </li>
            <li class="paper"><span class="authors"><a href=
                                                       "http://group-mmm.org/~mwaga/">Masaki Waga</a>.</span> <span class=
                                                                                                                    "title">Falsification of Cyber-Physical Systems with
                Robustness-Guided Black-Box Checking</span></li>
            <li class="paper"><span class="authors"><span>Niklas Kochdumper
                and Matthias Althoff</span>.</span> <span class=
                                                          "title">Reachability Analysis for Hybrid Systems with Nonlinear
                Guard Sets</span></li>
            <li class="paper"><span class="authors"><span>Guillaume O Berger
                and Raphaël M Jungers</span>.</span> <span class="title">Worst-case
                topological entropy and minimal data rate for state observation of
                switched linear systems</span></li>
            <li class="paper"><span class="authors"><span><a href=
                                                             "https://sites.google.com/site/pushpakjagtap/">Pushpak Jagtap</a>,
                <a href="https://www.hyconsys.com/members/swikir/">Abdalla
                    Swikir</a> and <a href="https://www.hyconsys.com/">Majid
                    Zamani</a></span>.</span> <span class="title">Compositional
                    Construction of Control Barrier Functions for Interconnected
                    Control Systems</span></li>
            <li class="paper"><span class="authors"><span>Corto Mascle,
                <a href="https://www.mpi-sws.org/people/neider/">Daniel Neider</a>,
                <a href=
                   "https://www.react.uni-saarland.de/people/schwenger.html">Maximilian
                    Schwenger</a>, <a href="http://www.ee.ucla.edu/~tabuada">Paulo
                    Tabuada</a>, Alexander Weinert and <a href=
                                                          "https://www.csc.liv.ac.uk/~zimmermann/">Martin
                    Zimmermann</a></span>.</span> <span class="title">From LTL to rLTL
                    Monitoring: Improved Monitorability through Robust
                    Semantics</span></li>
            <li class="paper"><span class="authors"><span><a href=
                                                             "https://www.uni-muenster.de/Informatik.AGRemke/en/personen/carinapilch/index.html">
                Carina Pilch</a>, <a href="http://arnd.hartmanns.name/">Arnd
                Hartmanns</a> and <a href=
                                     "https://www.uni-muenster.de/Informatik.AGRemke/en/personen/prof.dr.anneremke/index.html">
                Anne Remke</a></span>.</span> <span class="title">Classic and
                Non-Prophetic Model Checking for Hybrid Petri Nets with Stochastic
                Firings</span></li>
            <li class="paper"><span class="authors"><span>Daniel Jarne Ornia
                and <a href="https://mmazojr.3me.tudelft.nl/">Manuel
                Mazo</a></span>.</span> <span class="title">Convergence of Ant
                Colony Multi-Agent Swarms</span></li>
            <li class="paper"><span class="authors"><span>Viktorio Hakim and
                Marco Bekooij</span>.</span> <span class="title">Dynamics-Aware
                Subspace Identification for Decomposed Aggregation in the
                Reachability Analysis of Hybrid Automata</span></li>
            <li class="paper"><span class="authors"><span>Davide Bresolin,
                Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa and
                Sanja Zivanovic Gonzalez</span>.</span> <span class="title">A
                computable and compositional semantics for hybrid
                automata</span></li>
            <li class="paper"><span class="authors"><span>Colin Shea-Blymyer
                and Houssam Abbas</span>.</span> <span class="title">A Deontic
                Logic Analysis of Autonomous Systems' Safety</span></li>
            <li class="paper"><span class="authors">Maben Rabi.</span>
                <span class="title">Piece-wise analytic trajectory computation for
                    polyhedral switching between stable affine systems</span></li>
            <li class="paper"><span class="authors"><span><a href=
                                                             "http://sites.google.com/a/g.ucla.edu/tzanis">Tzanis Anevlavis</a>
                and <a href="http://www.ee.ucla.edu/~tabuada">Paulo
                Tabuada</a></span>.</span> <span class="title">A simple hierarchy
                for computing controlled invariant sets</span></li>
            <li class="paper"><span class="authors"><span>Mojtaba Zarei, Yu
                Wang and <a href="http://people.duke.edu/~mp275">Miroslav
                Pajic</a></span>.</span> <span class="title">Statistical
                Verification of Learning-Based Cyber-Physical Systems</span></li>
            <li class="paper"><span class="authors"><span>Taisa Kushner,
                <a href="http://www.cs.colorado.edu/~srirams">Sriram
                    Sankaranarayanan</a> and Marc Breton</span>.</span> <span class=
                                                                              "title">Conformance Verification for Neural Network Models of
                    Glucose-Insulin Dynamics</span></li>
            <li class="paper"><span class="authors"><span><a href=
                                                             "http://sadraddini.com/">Sadra Sadraddini</a> and <a href=
                                                                                                                  "http://people.csail.mit.edu/russt">Russ Tedrake</a></span>.</span>
                <span class="title">Robust Output Feedback Control with Guaranteed
                    Constraint Satisfaction</span></li>
            <li class="paper"><span class="authors"><span>Kasra Ghasemi,
                <a href="http://sadraddini.com/">Sadra Sadraddini</a> and Calin
                Belta</span>.</span> <span class="title">Compositional Synthesis
                    via a Convex Parameterization of Assume-Guarantee
                    Contracts</span></li>
            <li class="paper"><span class="authors"><span>James Ferlez and
                Yasser Shoukry</span>.</span> <span class="title">AReN: Assured
                ReLU NN Architecture for Model Predictive Control of LTI
                Systems</span></li>
            <li class="paper"><span class="authors"><span><a href=
                                                             "http://www.mpi-sws.org/~rupak">Rupak Majumdar</a>, <a href=
                                                                                                                    "http://www.mpi-sws.org/~kmallik">Kaushik Mallik</a> and <a href=
                                                                                                                                                                                "http://homepages.cs.ncl.ac.uk/sadegh.soudjani/">Sadegh
                Soudjani</a></span>.</span> <span class="title">Symbolic Controller
                Synthesis for Buchi Specifications on Stochastic
                Systems</span></li>
            <li class="paper"><span class="authors"><span>
                Mohamed Adlene Maghenem and Ricardo Sanfelice
            </span>.</span> <span class="title">Local
                Lipschitzness of Reachability Maps for Hybrid Systems with
                Applications to Safety</span></li>
            <li class="paper"><span class="authors"><span>Radoslav Ivanov,
                Taylor Carpenter, <a href=
                                     "https://www.seas.upenn.edu/~weimerj/">James Weimer</a>, <a href=
                                                                                                 "http://www.cis.upenn.edu/~alur/">Rajeev Alur</a>, <a href=
                                                                                                                                                       "http://www.seas.upenn.edu/~pappasg/">George Pappas</a> and Insup
                Lee</span>.</span> <span class="title">Case Study: Verifying the
                Safety of an Autonomous Racing Car with a Neural Network
                Controller</span></li>
            <li class="paper"><span class="authors"><span>Aakash Abhishek,
                Harry Sood and Jean-Baptiste Jeannin</span>.</span> <span class=
                                                                          "title">Formal Verification of Braking while Swerving in
                Automobiles</span></li>
            <li class="paper"><span class="authors"><span>Sara Mohammadinejad,
                Jyotirmoy V. Deshmukh, Aniruddh G. Puranic, Marcell
                Vazquez-Chanlatte and Alexandre Donze</span>.</span> <span class=
                                                                           "title">Interpretable Classification of Time-Series Data using
                Efficient Enumerative Techniques</span></li>
            <li class="paper"><span class="authors"><span>Rupak Majumdar,
                Necmiye Ozay and Anne-Kathrin Schmuck</span>.</span> <span class=
                                                                           "title">On Abstraction-Based Controller Design With Output
                Feedback</span></li>
            <li class="paper"><span class="authors"><span>Pranav Ashok,
                Mathias Jackermeier, Pushpak Jagtap, Jan Kretinsky, Maximilian
                Weininger and Majid Zamani</span>.</span> <span class=
                                                                "title">dtControl: Decision Tree Learning Algorithms for Controller
                Representation</span></li>
            <li class="paper"><span class="authors">Anton Proskurnikov.</span>
                <span class="title">Does sample-time emulation preserve exponential
                    stability?</span></li>
            <li class="paper"><span class="authors"><span>Hengjun Zhao, Xia
                Zeng, Taolue Chen and Zhiming Liu</span>.</span> <span class=
                                                                       "title">Synthesizing Barrier Certificates Using Neural
                Networks</span></li>
            <li class="paper"><span class="authors"><span>Hyejin Han, Mohamed
                Maghenem and Ricardo Sanfelice</span>.</span> 
                <span class= "title">Sufficient Conditions for Satisfaction of Formulas with
                Until Operators in Hybrid Systems</span></li>
            <li class="paper"><span class="authors"><span>Benoît Caillaud,
                Mathias Malandain and Joan Thibault</span>.</span> <span class=
                                                                         "title">Implicit Structural Analysis of Multi-Mode DAE
                Systems</span></li>

        </ul>

        <h2>Poster/Demo papers</h2>
        <ul class="accepted-papers">
            <li class="paper"><span class="authors"><span>
                <a href="http://www.irisa.fr/prive/Benoit.Caillaud/">Benoît Caillaud</a>,
                Mathias Malandain and Joan Thibault</span>. 
            </span><span class="title">
                Demo: IsamDAE, an Implicit Structural Analysis Tool for Multimode DAE Systems
            </span></li>

            <li class="paper"><span class="authors"><span>
                <a href="https://www7.in.tum.de/~ashok/">Pranav Ashok</a>, 
                Mathias Jackermeier, Pushpak Jagtap, 
                <a href="https://www7.in.tum.de/~kretinsk/">Jan Kretinsky</a>, Maximilian Weininger and
                <a href="https://sites.google.com/site/zamani1362">Majid Zamani</a></span>. </span>
                <span class="title">Demo: dtControl: Decision Tree
                    Learning Algorithms for Controller Representation
                </span>
            </li>

            <li class="paper"><span class="authors"><span>
                <a href="https://www.lavaei.de">Abolfazl Lavaei</a>, 
                <a href="https://www.hcs.ei.tum.de/en/members/mahmoud/">Mahmoud Khaled</a>,
                <a href="http://homepages.cs.ncl.ac.uk/sadegh.soudjani/">Sadegh Soudjani</a> and
                <a href="https://sites.google.com/site/zamani1362">Majid Zamani</a></span>. </span>
                <span class="title">Poster: AMYTISS: A parallelized
                    Tool on Automated Controller Synthesis for Large-Scale
                    Stochastic Systems
                </span>
            </li>

            <li class="paper"><span class="authors">Necmiye
                Ozay. </span> <span class="title">Poster:
                Inter-Triggering Hybrid Automata: A Formalism for
                Responsibility-Sensitive Safety</span>
            </li>

            <li class="paper"><span class="authors"><span>
                Kaushik Mallik, Daniel Neider, Stanly Samuel and Anne-Kathrin Schmuck</span>.
            </span><span class="title">
                Poster: Resilient Abstraction-Based Controller Design
            </span></li>
        </ul>

        <h2>Presentation-only</h2>

        <ul class="accepted-papers">
            <li class="paper"><span class="authors"><span>
                <a href="http://ushiolab.sys.es.osaka-u.ac.jp/~kazumune.hashimoto/english/index.html">
                    Kazumune Hashimoto</a> and 
                <a href="http://ushiolab.sys.es.osaka-u.ac.jp/">
                    Toshimitsu Ushio</a></span>.
            </span><span class="title">
                Poster: A learning-based approach towards symbolic safety controller synthesis
            </span></li>
        </ul>
        
    </body>