Kripke Modelling and Model Checking of a Multiple UAV System Monitoring Road Network
AIAA Guidance, Navigation, and Control Conference
2010-01-01
Conference paper
Electronic Resource
English
Kripke Modeling and Model Checking of a Multiple UAV System Monitoring Road Network
British Library Conference Proceedings | 2010
|Modelltheorie in der Kripke-Semantik
TIBKAT | 1968
|Vehicle path forecasting method based on generalized possibility Kripke model
European Patent Office | 2024
|METHOD AND SYSTEM FOR CHECKING THE CONDITIONS OF A ROAD NETWORK
European Patent Office | 2018
|Plausibility Checking of Road Profile Measurements
SAE Technical Papers | 2003
|