Kripke Modelling and Model Checking of a Multiple UAV System Monitoring Road Network
AIAA Guidance, Navigation, and Control Conference
01.01.2010
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
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
Europäisches Patentamt | 2024
|METHOD AND SYSTEM FOR CHECKING THE CONDITIONS OF A ROAD NETWORK
Europäisches Patentamt | 2018
|Plausibility Checking of Road Profile Measurements
SAE Technical Papers | 2003
|