| NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments. | 0 | 0.34 | 2022 |
| Joint Communication and Motion Planning for Cobots | 0 | 0.34 | 2022 |
| Risk-Bounded Control Using Stochastic Barrier Functions | 1 | 0.40 | 2021 |
| Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions | 0 | 0.34 | 2021 |
| PerceMon: Online Monitoring for Perception Systems | 0 | 0.34 | 2021 |
| Towards assurance case evidence generation through search based testing: work-in-progress | 0 | 0.34 | 2021 |
| Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements | 1 | 0.36 | 2021 |
| Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components | 9 | 0.59 | 2020 |
| Search-based Test-Case Generation by Monitoring Responsibility Safety Rules | 0 | 0.34 | 2020 |
| Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach | 0 | 0.34 | 2020 |
| DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving Systems | 0 | 0.34 | 2020 |
| TLTk - A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. | 1 | 0.36 | 2020 |
| Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances | 0 | 0.34 | 2020 |
| Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic | 1 | 0.37 | 2019 |
| Model Checking Clinical Decision Support Systems Using SMT. | 0 | 0.34 | 2019 |
| Specifying And Evaluating Quality Metrics For Vision-Based Perception Systems | 0 | 0.34 | 2019 |
| Gray-box Adversarial Testing for Control Systems with Machine Learning Component. | 4 | 0.40 | 2019 |
| Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach | 0 | 0.34 | 2019 |
| Rapidly-exploring Random Trees-based Test Generation for Autonomous Vehicles. | 0 | 0.34 | 2019 |
| Task Scheduling with Nonlinear Costs using SMT Solvers | 0 | 0.34 | 2019 |
| Optimal Multi-Valued Ltl Planning For Systems With Access Right Levels | 0 | 0.34 | 2018 |
| Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time. | 2 | 0.37 | 2018 |
| Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems. | 2 | 0.38 | 2018 |
| Experience Report: Application of Falsification Methods on the UxAS System. | 1 | 0.35 | 2018 |
| Continuous simulation Optimization with Model mismatch using Gaussian Process Regression. | 0 | 0.34 | 2018 |
| Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. | 7 | 0.48 | 2018 |
| Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report). | 0 | 0.34 | 2018 |
| Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles. | 1 | 0.35 | 2018 |
| Model-based falsification of an artificial pancreas control system. | 8 | 0.46 | 2017 |
| Functional Gradient Descent Optimization For Automatic Test Case Generation For Vehicle Controllers | 1 | 0.40 | 2017 |
| Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems | 4 | 0.39 | 2017 |
| ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. | 0 | 0.34 | 2017 |
| Temporal Logic Control Under Incomplete Or Conflicting Information | 0 | 0.34 | 2017 |
| Vacuity Aware Falsification For Mtl Request-Response Specifications | 1 | 0.35 | 2017 |
| Planning in Dynamic Environments Through Temporal Logic Monitoring. | 2 | 0.38 | 2016 |
| Modeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach. | 0 | 0.34 | 2016 |
| Traffic light status detection using movement patterns of vehicles | 0 | 0.34 | 2016 |
| Automatic Parallelization of Multirate Block Diagrams of Control Systems on Multicore Platforms. | 1 | 0.35 | 2016 |
| Utilizing S-Taliro As An Automatic Test Generation Framework For Autonomous Vehicles | 1 | 0.35 | 2016 |
| Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach | 2 | 0.41 | 2016 |
| Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems. | 0 | 0.34 | 2016 |
| Extended LTLvis Motion Planning interface (Extended Technical Report). | 0 | 0.34 | 2016 |
| DisCoF<sup>+</sup>: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems | 1 | 0.36 | 2015 |
| Towards A Verified Artificial Pancreas: Challenges And Solutions For Runtime Verification | 9 | 0.53 | 2015 |
| DisCoF: Cooperative Pathfinding in Distributed Systems with Limited Sensing and Communication Range | 2 | 0.38 | 2014 |
| Conformance Testing as Falsification for Cyber-Physical Systems. | 5 | 0.46 | 2014 |
| Verification of automotive control applications using S-TaLiRo | 28 | 1.21 | 2012 |
| A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients | 8 | 0.51 | 2012 |
| Approximate solutions for the minimal revision problem of specification automata | 9 | 0.55 | 2012 |
| Linear Hybrid System Falsification Through Descent | 4 | 0.46 | 2011 |
