| 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 |
|---|
|
Under-Approximating Reach Sets for Polynomial Continuous Systems Bai Xue, Martin Fränzle, Naijun Zhan |
Under-Approximating Reach Sets for Polynomial 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
|
|
Model Checking Bounded Continuous-time Extended Linear Duration Invariants Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi |
Model Checking Bounded Continuous-time Extended Linear Duration Invariants Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing Maximilian Gaukler, Andreas Michalka, Peter Ulbrich, Tobias Klaus |
A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing 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 Guarantees in Data-Driven Model Identification and Control Synthesis Sadra Sadraddini, Calin Belta |
Formal Guarantees in Data-Driven Model Identification and Control Synthesis Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Specifying Timed Patterns using Temporal Logic Dogan Ulus, Oded Maler |
Specifying Timed Patterns using Temporal Logic Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Parameter Invariant Monitoring for Signal Temporal Logic Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee |
Parameter Invariant Monitoring for Signal Temporal Logic Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Compositional Synthesis for Symbolic Control Antoine Girard |
Compositional Synthesis for Symbolic Control Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Bisimulations, logics, and trace distributions for stochastic systems with rewards Daniel Gburek, Christel Baier |
Bisimulations, logics, and trace distributions for stochastic systems with rewards Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles Cumhur Erkan Tuncali, Georgios E. Fainekos, Hisahiro Ito, James Kapinski |
Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, Christian Schilling |
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
|
|
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems Yinan Li, Jun Liu |
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear 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:
Authors have
not verified
information
|
|
Formal Controller Synthesis from Hybrid Programs Vladimir Sinyakov, Antoine Girard |
Formal Controller Synthesis from Hybrid Programs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Contract based Design of Symbolic Controllers for Vehicle Platooning Adnane Saoud, Antoine Girard, Laurent Fribourg |
Contract based Design of Symbolic Controllers for Vehicle Platooning Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms Eric S. Kim, Murat Arcak, Mahmoud Khaled, Majid Zamani |
Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness Abraham P. Vinod, Meeko M. K. Oishi |
Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck |
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time 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
|
|
Clock Allocation in Timed Automata and Graph Colouring Neda Saeedloei, Feliks Kluzniak |
Clock Allocation in Timed Automata and Graph Colouring Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems Miriam Garcia Soto, Pavithra Prabhakar |
Averist: Algorithmic Verifier for Stability of Linear Hybrid 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
|
|
From Uncertainty Data to Robust Policies for Temporal Logic Planning Pier Giuseppe Sessa, Damian Frick, Tony A. Wood, Maryam Kamgarpour |
From Uncertainty Data to Robust Policies for Temporal Logic Planning Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Constructing Control System Abstractions from Modular Components Eric S. Kim, Murat Arcak, Majid Zamani |
Constructing Control System Abstractions from Modular Components 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
|
|
Accurate reachability analysis of uncertain nonlinear systems Matthias Rungger, Majid Zamani |
Accurate reachability analysis of uncertain nonlinear systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang |
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow 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
|
|
Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi |
Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Modeling the Impact of Vehicle Platooning on Highway Congestion: A Fluid Queuing Approach Li Jin, Mladen Cicic, Saurabh Amin, Karl Henrik Johansson |
Modeling the Impact of Vehicle Platooning on Highway Congestion: A Fluid Queuing Approach 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
|
|
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening |
DSValidator: An Automated Counterexample Reproducibility Tool for Digital 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
|
|
CODEV: Automated Model Predictive Control Design and Formal Verification Nicole Chan, Sayan Mitra |
CODEV: Automated Model Predictive Control Design and Formal Verification Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani |
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes 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
|
|
Stabilizing switched nonlinear systems under restricted switching Atreyee Kundu |
Stabilizing switched nonlinear systems under restricted switching Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints Hussein Sibai, Sayan Mitra |
Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Improving validated computation of Viability Kernels Benjamin Martin, Olivier Mullier |
Improving validated computation of Viability Kernels 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
|
|
Graphical Hybrid Automata with Simulink and Stateflow Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang |
Graphical Hybrid Automata with Simulink and Stateflow Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems Bolun Qi, Chuchu Fan, Minghao Jiang, Sayan Mitra |
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach Abdalla Swikir, Antoine Girard, Majid Zamani |
Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Lyapunov Design for Event-Triggered Exponential Stabilization Anton V. Proskurnikov, Manuel Mazo Jr. |
Lyapunov Design for Event-Triggered Exponential Stabilization Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
Efficient Parametric Identification for STL Alexey Bakhirkin, Thomas Ferrère, Oded Maler |
Efficient Parametric Identification for STL 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
|
|
Localizing Faults in Simulink/Stateflow Models with STL Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic |
Localizing Faults in Simulink/Stateflow Models with STL Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Algorithms for exact and approximate linear abstractions of polynomial continuous systems Michele Boreale |
Algorithms for exact and approximate linear abstractions of polynomial continuous systems Details |
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
|
Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani |
Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems Yinan Li, Jun Liu |
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates Hussein Sibai, Sayan Mitra |
State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|