Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees.
IEEE Trans Autom. Sci. Eng., July, 2024
A gradient-based bilevel optimization approach for tuning regularization hyperparameters.
Optim. Lett., July, 2024
HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems.
Proceedings of the Runtime Verification - 24th International Conference, 2024
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics.
CoRR, 2023
Safe Robot Learning in Assistive Devices through Neural Network Repair.
CoRR, 2023
CGPT: A Conditional Gaussian Process Tree for Grey-Box Bayesian Optimization.
Proceedings of the Winter Simulation Conference, 2023
Parameter Optimization with Conscious Allocation (POCA).
Proceedings of the Winter Simulation Conference, 2023
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Stealthy attacks formalized as STL formulas for Falsification of CPS Security.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023
ARCH-COMP23 Category Report: Falsification.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023
Safe Robot Learning in Assistive Devices through Neural Network Repair.
Proceedings of the Conference on Robot Learning, 2022
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees.
CoRR, 2021
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
Impact of News on the Commodity Market: Dataset and Results.
CoRR, 2020
A Gradient-based Bilevel Optimization Approach for Tuning Hyperparameters in Machine Learning.
CoRR, 2020