Kripke Modeling and Model Checking of a Multiple UAV System Monitoring Road Network
Conference, Guidance, navigation and control ; 2010 ; Toronto, Canada
01.01.2010
11 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
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
|