Sciweavers

447 search results - page 17 / 90
» A Probabilistic Calculus of Actions
Sort
View
ATAL
2010
Springer
15 years 1 months ago
On-line robot execution monitoring using probabilistic action duration
d Abstract) V.A. Ziparo, L. Iocchi, M. Leonetti, D. Nardi Dipartimento di Informatica e Sistemistica via Ariosto 25, 00185 Rome, Italy
Vittorio A. Ziparo, Luca Iocchi, Matteo Leonetti, ...
64
Voted
ACTA
2008
90views more  ACTA 2008»
15 years 17 days ago
Algebraic reasoning for probabilistic action systems and while-loops
Larissa Meinicke, Ian J. Hayes