Personensuche
X
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
2
Impossible Made Possible: Encoding Intractable Specificatio..:
, In:
?
2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) ,
3
Evaluation Metrics of Object Detection for Quantitative Sys..:
, In:
?
2023 IEEE Conference on Control Technology and Applications (CCTA) ,
4
Quantifying Faulty Assumptions in Heterogeneous Multi-Agent..:
, In:
?
Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems ,
5
Maximum Satisfiability of Mission-Time Linear Temporal Logi:
, In:
?
Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems ,
6
MLTL Multi-type (MLTLM): A Logic for Reasoning About Signal..:
, In:
?
Proceedings of the 2nd European Workshop on Machine Learning and Systems ,
7
Temporal shift reinforcement learning:
, In:
?
2022 International Conference on Robotics and Automation (ICRA) ,
8
Design and Evaluation of Object Classifiers for Probabilist..:
, In:
?
Algorithmic Foundations of Robotics XIV; Springer Proceedings in Advanced Robotics ,
9
Hierarchical Multiobjective Shortest Path Problems:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
10