5243 search results - page 82 / 1049 » Reasoning About Strategies |
CORR
2010
Springer
14 years 7 months ago
2010
Springer
97
Voted
KI
2011
Springer
14 years 7 months ago
2011
Springer
129
click to vote
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
JCIT
2010
14 years 7 months ago
2010
