Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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



    Conference:

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



    Publication date :

    2010-01-01


    Size :

    11 pages


    Remarks:

    Includes bibliographical references and index



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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. | 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