Search for persons
X
?
Lecture Notes in Computer Science; NASA Formal Methods ,
1
SMT-Based Dynamic Multi-Robot Task Allocation:
, In:
?
2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS) ,
3
Robust Conformal Prediction for STL Runtime Verification un..:
, In:
?
2023 IEEE International Conference on Robotics and Automation (ICRA) ,
4
Safety Under Uncertainty: Tight Bounds with Risk-Aware Cont..:
, In:
?
2023 American Control Conference (ACC) ,
5
Risk-Awareness in Learning Neural Controllers for Temporal ..:
, In:
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
6
Stealthy attacks formalized as STL formulas for Falsificati..:
, In:
?
2023 IEEE 19th International Conference on Automation Science and Engineering (CASE) ,
7
Search Based Testing for Code Coverage and Falsification in..:
, In:
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
8
Quantitative Verification for Neural Networks using ProbSta..:
, In:
?
Runtime Verification; Lecture Notes in Computer Science ,
9
Pattern Matching for Perception Streams:
, In:
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
10
Demo Abstract: Analysing CPS Security with Falsification on..:
, In:
?
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023) ,
11
A Neurosymbolic Approach to the Verification of Temporal Lo..:
, In:
?
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) ,
12
NMPC-LBF: Nonlinear MPC with Learned Barrier Function for D..:
, In:
?
2022 IEEE 30th International Requirements Engineering Conference (RE) ,
13
PyFoReL: A Domain-Specific Language for Formal Requirements..:
, In:
?
2022 International Conference on Robotics and Automation (ICRA) ,
14
Joint Communication and Motion Planning for Cobots:
, In:
?
Runtime Verification; Lecture Notes in Computer Science ,
15