| Title/Authors | Title | Research Artifacts
[?] A research
artifact is any by-product 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, shell-scripts 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
|
|
Sampling-based Approximate Optimal Control Under Temporal Logic Constraints Jie Fu, Ivan Papusha, Ufuk Topcu |
Sampling-based 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 Linear-Time Properties Jun Liu |
Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
SMC: Satisfiability Modulo Convex Optimization Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, 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 Simulation-Equivalent Reachability for Linear Systems Stanley Bak, Parasara Sridhar Duggirala |
HyLAA: A Tool for Computing Simulation-Equivalent 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 Time-Frequency Temporal Logic Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson |
Abnormal Data Classification Using Time-Frequency 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 Event-Triggered Control for Linear Systems Dominicus P. Borgers, Victor S. Dolk, W. P. M. H. Heemels |
Dynamic Periodic Event-Triggered 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 Assume-Guarantee Contracts Eric S. Kim, Murat Arcak, Sanjit A. Seshia |
A Small Gain Theorem for Parametric Assume-Guarantee 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 Multi-Mode DAE Systems Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet |
Structural Analysis of Multi-Mode 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 Inner-Approximated Reachability of Non-Linear Continuous Systems Eric Goubault, Sylvie Putot |
Forward Inner-Approximated Reachability of Non-Linear 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 |
|
Author Comments:
Discussion Comments:
0
Sharing:
Other
Verification:
Authors have
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
|
|
Path-Complete Graphs and Common Lyapunov Functions David Angeli, Nikolaos Athanasopoulos, Raphaël M. Jungers, Matthew Philippe |
Path-Complete 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 DURUS-2D: Bridging the Gap between Theory and Experiment Wen-Loong Ma, Shishir Kolathaya, Eric R. Ambrose, Christian M. Hubicki, Aaron D. Ames |
Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|