2024
Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout.
ACM Trans. Cyber Phys. Syst., October, 2024
RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics.
Int. J. Softw. Tools Technol. Transf., February, 2024
Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic.
Int. J. Robotics Res., February, 2024
From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events.
CoRR, 2024
Risk-aware MPPI for Stochastic Hybrid Systems.
CoRR, 2024
Querying Perception Streams with Spatial Regular Expressions.
CoRR, 2024
Neural Configuration Distance Function for Continuum Robot Control.
CoRR, 2024
Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions.
CoRR, 2024
Scaling Learning based Policy Optimization for Temporal Tasks via Dropout.
CoRR, 2024
SMT-Based Dynamic Multi-Robot Task Allocation.
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024
CBFkit: A Control Barrier Function Toolbox for Robotics Applications.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024
Optimal Planning for Timed Partial Order Specifications.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift.
Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024
Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions.
Proceedings of the American Control Conference, 2024
Risk-Aware Fixed-Time Stabilization of Stochastic Systems Under Measurement Uncertainty.
Proceedings of the American Control Conference, 2024
2023
Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation.
CoRR, 2023
Pattern Matching for Perception Streams.
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
Verification of Recurrent Neural Networks with Star Reachability.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Quantitative Verification for Neural Networks using ProbStars.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Checkmate: Fault Timing Localization for Multi-Robot Scenarios.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives.
Proceedings of the American Control Conference, 2023
Timed Partial Order Inference Algorithm.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
2022
Runtime Assurance for Autonomous Driving with Neural Reachability.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022
Neural Network Repair with Reachability Analysis.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022
Discovering IoT Physical Channel Vulnerabilities.
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022
2021
Risk-Bounded Control Using Stochastic Barrier Functions.
IEEE Control. Syst. Lett., 2021
Reachability Analysis of Convolutional Neural Networks.
CoRR, 2021
Discovering Physical Interaction Vulnerabilities in IoT Deployments.
CoRR, 2021
PerceMon: Online Monitoring for Perception Systems.
Proceedings of the Runtime Verification - 21st International Conference, 2021
Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
Reachability analysis of deep ReLU neural networks using facet-vertex incidence.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
2020
TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications.
Proceedings of the Runtime Verification - 20th International Conference, 2020
Specification-guided Software Fault Localization for Autonomous Mobile Systems.
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020
Search-based Test-CASe Generation by Monitoring Responsibility Safety Rules.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress.
Proceedings of the 20th International Conference on Embedded Software, 2020
2019
Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo.
Proceedings of the Runtime Verification - 19th International Conference, 2019
2018
Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst., 2018
Mining parametric temporal logic properties in model-based design for cyber-physical systems.
Int. J. Softw. Tools Technol. Transf., 2018
Experience Report: Application of Falsification Methods on the UxAS System.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
2017
Formal Requirements-Driven Analysis of Cyber Physical Systems.
PhD thesis, 2017
ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017
Vacuity aware falsification for MTL request-response specifications.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017
2016
Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems.
CoRR, 2016
An efficient algorithm for monitoring practical TPTL specifications.
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016
Planning in Dynamic Environments Through Temporal Logic Monitoring.
Proceedings of the Planning for Hybrid Systems, 2016
2015
Querying Parametric Temporal Logic Properties in Model Based Design.
CoRR, 2015
Metric interval temporal logic specification elicitation and debugging.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015
VISPEC: A graphical tool for elicitation of MTL requirements.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015
2014
Conformance Testing as Falsification for Cyber-Physical Systems.
CoRR, 2014
On-Line Monitoring for Temporal Logic Robustness.
Proceedings of the Runtime Verification - 5th International Conference, 2014
WiP abstract: Conformance testing as falsification for cyber-physical systems.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014
Using S-TaLiRo on Industrial Size AuImmlertomotive Models.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014
Benchmarks for Temporal Logic Requirements for Automotive Systems.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014
2012
Querying Parametric Temporal Logic Properties on Embedded Systems.
Proceedings of the Testing Software and Systems, 2012