Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Methods for Modeling Urban Road Traffic Using Timed Automata


    Contributors:

    Conference:

    DSMIE ; 3. ; 2020 ; Charkow



    Publication date :

    2020



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods

    Eduardo Valente / Camelia Avram / José Machado et al. | DOAJ | 2018

    Free access

    Modeling Train Traffic Flow Using Cellular Automata

    Bahramian, Zahra / Bagheri, Morteza | ASCE | 2013



    An urban traffic network model via coloured timed Petri nets

    Dotoli, Mariagrazia / Fanti, Maria Pia | Tema Archive | 2006


    Multi-Robot Motion Planning: A Timed Automata Approach

    Quottrup, Michael Melholt / Bak, Thomas / Izadi-Zamanabadi, Roozbeh | BASE | 2004

    Free access