Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Representation and analysis of coordinated attacks
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Selecting treatment strategies with dynamic limited-memory influence diagrams
Artificial Intelligence in Medicine
Commitment-based service coordination
International Journal of Agent-Oriented Software Engineering
Computing and using lower and upper bounds for action elimination in MDP planning
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Commitment-based service coordination
SOCASE'08 Proceedings of the 2008 AAMAS international conference on Service-oriented computing: agents, semantics, and engineering
An overview of planning under uncertainty
Artificial intelligence today
Plan switching: an approach to plan execution in changing environments
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Hi-index | 0.00 |