Search for persons
X
?
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control ,
1
Temporal Behavior Trees -- Segmentation:
, In:
?
Runtime Verification; Lecture Notes in Computer Science ,
5
Monitoring with Verified Guarantees:
, In:
?
Automated Low-Altitude Air Delivery; Research Topics in Aerospace ,
6
A Multi-disciplinary Scenario Simulation for Low-Altitude U..:
, In:
?
2019 Conference on Lasers and Electro-Optics (CLEO) ,
7
In-situ laser fabrication to reduce eccentricity errors in ..:
, In:
?
Environmental Toxicology; Biochemistry and Molecular Biology of Fishes ,
8
Chapter 2 Use of fish cell lines in the toxicology and ecot..:
, In:
?
2022 IEEE 61st Conference on Decision and Control (CDC) ,
10