Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Kripke Modelling and Model Checking of a Multiple UAV System Monitoring Road Network


    Contributors:

    Conference:

    AIAA Guidance, Navigation, and Control Conference



    Publication date :

    2010-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Kripke Modeling and Model Checking of a Multiple UAV System Monitoring Road Network

    Sirigineedi, G. / Tsourdos, A. / White, B. et al. | British Library Conference Proceedings | 2010


    Modelltheorie in der Kripke-Semantik

    Osswald, Horst | TIBKAT | 1968


    Vehicle path forecasting method based on generalized possibility Kripke model

    LI YONGMING / SU YIFAN / HE QING et al. | European Patent Office | 2024

    Free access

    METHOD AND SYSTEM FOR CHECKING THE CONDITIONS OF A ROAD NETWORK

    MUNGO ANDREA | European Patent Office | 2018

    Free access

    Plausibility Checking of Road Profile Measurements

    Ferris, John B. / Saeger, K. Martin | SAE Technical Papers | 2003