Sciweavers

447 search results - page 17 / 90
» A Probabilistic Calculus of Actions
Sort
View
54
Voted
ATAL
2010
Springer
15 years 5 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, ...
87
Voted
ACTA
2008
90views more  ACTA 2008»
15 years 4 months ago
Algebraic reasoning for probabilistic action systems and while-loops
Larissa Meinicke, Ian J. Hayes