423 search results - page 85 / 85 » Multi-objective Model Checking of Markov Decision Processes |
IJRR
2011
13 years 8 days ago
2011
Abstract Partially observable Markov decision processes (POMDPs) are a principled mathematical framework for planning under uncertainty, a crucial capability for reliable operation...
AAAI
2011
12 years 5 months ago
2011
One proposed approach to managing a large complex Smart Grid is through Broker Agents who buy electrical power from distributed producers, and also sell power to consumers, via a ...
IANDC
2011
13 years 8 days ago
2011
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...