Title/Authors  Title  Research Artifacts
[?] A research
artifact is any byproduct of a research project that is not
directly included in the published research paper. In Computer
Science research this is often source code and data sets, but
it could also be media, documentation, inputs to proof
assistants, shellscripts to run experiments, etc.

Details 

Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger 
Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters Details 
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded

Discussion Comments:
0
Verification:
Authors have
not verified
information

Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska 
Details 

Discussion Comments:
0
Verification:
Authors have
not verified
information

Samplingbased Approximate Optimal Control Under Temporal Logic Constraints Jie Fu, Ivan Papusha, Ufuk Topcu 
Samplingbased Approximate Optimal Control Under Temporal Logic Constraints Details 

Discussion Comments:
0
Verification:
Authors have
not verified
information

Robust Abstractions for Control Synthesis: Completeness via Robustness for LinearTime Properties Jun Liu 
Robust Abstractions for Control Synthesis: Completeness via Robustness for LinearTime Properties Details 

Discussion Comments:
0
Verification:
Author has
not verified
information

SMC: Satisfiability Modulo Convex Optimization Yasser Shoukry, Pierluigi Nuzzo, Alberto L. SangiovanniVincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada 
SMC: Satisfiability Modulo Convex Optimization Details 
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded

Discussion Comments:
0
Verification:
Authors have
not verified
information

HyLAA: A Tool for Computing SimulationEquivalent Reachability for Linear Systems Stanley Bak, Parasara Sridhar Duggirala 
HyLAA: A Tool for Computing SimulationEquivalent Reachability for Linear Systems Details 
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded

Discussion Comments:
0
Verification:
Authors have
not verified
information

Abnormal Data Classification Using TimeFrequency Temporal Logic Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson 
Abnormal Data Classification Using TimeFrequency Temporal Logic Details 
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded

Discussion Comments:
0
Verification:
Authors have
not verified
information

Convex and Combinatorial Optimization for Dynamic Robots in the Real World Russ Tedrake 
Convex and Combinatorial Optimization for Dynamic Robots in the Real World Details 

Discussion Comments:
0
Verification:
Author has
not verified
information

Dynamic Periodic EventTriggered Control for Linear Systems Dominicus P. Borgers, Victor S. Dolk, W. P. M. H. Heemels 
Dynamic Periodic EventTriggered Control for Linear Systems Details 
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded

Discussion Comments:
0
Verification:
Authors have
not verified
information

Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions Assalé Adjé 
Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions Details 

Discussion Comments:
0
Verification:
Author has
not verified
information

Controller Synthesis for Reward Collecting Markov Processes in Continuous Space Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar 
Controller Synthesis for Reward Collecting Markov Processes in Continuous Space Details 
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded

Discussion Comments:
0
Verification:
Authors have
not verified
information

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening 
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants Details 
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded

Discussion Comments:
0
Verification:
Authors have
not verified
information

Statistical Verification of the Toyota Powertrain Control Verification Benchmark Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan 
Statistical Verification of the Toyota Powertrain Control Verification Benchmark Details 

Discussion Comments:
0
Verification:
Authors have
not verified
information

Relaxed Decidability and the Robust Semantics of Metric Temporal Logic Houssam Abbas, Matthew O'Kelly, Rahul Mangharam 
Relaxed Decidability and the Robust Semantics of Metric Temporal Logic Details 

Discussion Comments:
0
Verification:
Authors have
not verified
information

Invariance Feedback Entropy of Nondeterministic Control Systems Matthias Rungger, Majid Zamani 
Invariance Feedback Entropy of Nondeterministic Control Systems Details 

Discussion Comments:
0
Verification:
Authors have
not verified
information

A Small Gain Theorem for Parametric AssumeGuarantee Contracts Eric S. Kim, Murat Arcak, Sanjit A. Seshia 
A Small Gain Theorem for Parametric AssumeGuarantee Contracts Details 

Discussion Comments:
0
Verification:
Authors have
not verified
information

Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms Abraham P. Vinod, Baisravan HomChaudhuri, Meeko M. K. Oishi 
Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms Details 
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded

Discussion Comments:
0
Verification:
Authors have
not verified
information

On the Polytope Escape Problem for Continuous Linear Dynamical Systems Joël Ouaknine, João Sousa Pinto, James Worrell 
On the Polytope Escape Problem for Continuous Linear Dynamical Systems Details 

Discussion Comments:
0
Verification:
Authors have
not verified
information

Scheduling of Embedded Controllers Under Timing Contracts Mohammad Al Khatib, Antoine Girard, Thao Dang 
Scheduling of Embedded Controllers Under Timing Contracts Details 
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded

Discussion Comments:
0
Verification:
Authors have
not verified
information

Formal Synthesis of Stabilizing Controllers for Switched Systems Pavithra Prabhakar, Miriam Garcia Soto 
Formal Synthesis of Stabilizing Controllers for Switched Systems Details 
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded

Discussion Comments:
0
Verification:
Authors have
not verified
information

Structural Analysis of MultiMode DAE Systems Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet 
Structural Analysis of MultiMode DAE Systems Details 

Discussion Comments:
0
Verification:
Authors have
not verified
information

Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems Bastian Schürmann, Matthias Althoff 
Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems Details 
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded

Discussion Comments:
0
Verification:
Authors have
not verified
information

Optimal Data Rate for State Estimation of Switched Nonlinear Systems Hussein Sibai, Sayan Mitra 
Optimal Data Rate for State Estimation of Switched Nonlinear Systems Details 
Discussion Comments:
0
Verification:
Authors have
not verified
information


Forward InnerApproximated Reachability of NonLinear Continuous Systems Eric Goubault, Sylvie Putot 
Forward InnerApproximated Reachability of NonLinear Continuous Systems Details 
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded

Discussion Comments:
0
Verification:
Authors have
not verified
information

Petter Nilsson, Necmiye Ozay 
Details 

Discussion Comments:
0
Verification:
Authors have
not verified
information

Robust Model Checking of Timed Automata under Clock Drifts Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan 
Robust Model Checking of Timed Automata under Clock Drifts Details 

Discussion Comments:
0
Verification:
Authors have
not verified
information

Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems Tommaso Dreossi 
Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems Details 
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded

Discussion Comments:
0
Verification:
Author has
not verified
information

PathComplete Graphs and Common Lyapunov Functions David Angeli, Nikolaos Athanasopoulos, Raphaël M. Jungers, Matthew Philippe 
PathComplete Graphs and Common Lyapunov Functions Details 
Discussion Comments:
0
Verification:
Authors have
not verified
information


Andrew M. Pace, Samuel A. Burden 
Details 
Discussion Comments:
0
Verification:
Authors have
not verified
information


Bipedal Robotic Running with DURUS2D: Bridging the Gap between Theory and Experiment WenLoong Ma, Shishir Kolathaya, Eric R. Ambrose, Christian M. Hubicki, Aaron D. Ames 
Bipedal Robotic Running with DURUS2D: Bridging the Gap between Theory and Experiment Details 

Discussion Comments:
0
Verification:
Authors have
not verified
information
