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


    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

    Lane-Based Road Network Model and its Application in Simulation Road Network Modeling

    Huang, M. / Rao, M.L. / Li, M. et al. | British Library Conference Proceedings | 2013


    Plausibility Checking of Road Profile Measurements

    Saeger, K. M. / Ferris, J. B. / Society of Automotive Engineers | British Library Conference Proceedings | 2003