Zobrazeno 1 - 10
of 612
pro vyhledávání: '"post, Mark"'
In order to formally verify robotic controllers, we must tackle the inherent uncertainty of sensing and actuation in a physical environment. We can model uncertainty using stochastic hybrid systems, which combine discrete jumps with continuous, stoch
Externí odkaz:
http://arxiv.org/abs/2410.14718
Publikováno v:
In Biomimetic Intelligence and Robotics September 2024 4(3)
Autor:
Post, Mark W., author
Publikováno v:
The Tangam Language: Grammar, Lexicon and Texts. 19:297-301
Autor:
Post, Mark W., author
Publikováno v:
The Tangam Language: Grammar, Lexicon and Texts. 19:141-259
Autor:
Post, Mark W., author
Publikováno v:
The Tangam Language: Grammar, Lexicon and Texts. 19:1-12
Autor:
Post, Mark W., author
Publikováno v:
The Tangam Language: Grammar, Lexicon and Texts. 19:260-293
Autor:
Post, Mark W., author
Publikováno v:
The Tangam Language: Grammar, Lexicon and Texts. 19:i-xix
Autor:
Post, Mark W., author
Publikováno v:
The Tangam Language: Grammar, Lexicon and Texts. 19:13-140