Kripke Modeling and Model Checking of a Multiple UAV System Monitoring Road Network
Conference, Guidance, navigation and control ; 2010 ; Toronto, Canada
2010-01-01
11 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
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
|Lane-Based Road Network Model and its Application in Simulation Road Network Modeling
British Library Conference Proceedings | 2013
|Plausibility Checking of Road Profile Measurements
British Library Conference Proceedings | 2003
|