Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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



    Kongress:

    Conference, Guidance, navigation and control ; 2010 ; Toronto, Canada



    Erscheinungsdatum :

    01.01.2010


    Format / Umfang :

    11 pages


    Anmerkungen:

    Includes bibliographical references and index



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




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

    Sirigineedi, Gopinadh / Tsourdos, Antonios / White, Brian et al. | AIAA | 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