Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:

    Kongress:

    AIAA Guidance, Navigation, and Control Conference



    Erscheinungsdatum :

    01.01.2010




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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. | Europäisches Patentamt | 2024

    Freier Zugriff

    METHOD AND SYSTEM FOR CHECKING THE CONDITIONS OF A ROAD NETWORK

    MUNGO ANDREA | Europäisches Patentamt | 2018

    Freier Zugriff

    Plausibility Checking of Road Profile Measurements

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