Open AccessFrom a model-based robotic application to a probabilistic timed automaton with only C/C++ development
Author(s) -
Artur Rataj
Publication year - 2019
Language(s) - English
Resource type - Conference proceedings
DOI - 10.36288/roscon2019fr-900867
Subject(s) - computer science , automaton , timed automaton , probabilistic automaton , probabilistic logic , theoretical computer science , artificial intelligence