Tractable multiagent planning for epistemic goals
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Planning and Control in Artificial Intelligence: A Unifying Perspective
Applied Intelligence
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Reasoning about Actions in a Multiagent Domain
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Multiagent Planning as Control Synthesis
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Representation and analysis of coordinated attacks
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Tableau-based automata construction for dynamic linear time temporal logic*
Annals of Mathematics and Artificial Intelligence
Plan-directed architectural change for autonomous systems
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Alternating-time temporal logic with explicit strategies
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Understanding approaches for web service composition and execution
COMPUTE '08 Proceedings of the 1st Bangalore Annual Compute Conference
A logic-based agent that plans for extended reachability goals
Autonomous Agents and Multi-Agent Systems
From goals to components: a combined approach to self-management
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Optimized, decentralized workflow execution in grid environments
Multiagent and Grid Systems - Special Issue on "Advances in Grid services Engineering and Management"
The Beginning of Model Checking: A Personal Perspective
25 Years of Model Checking
Using α-ctl to Specify Complex Planning Goals
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Dynamic composition and optimization of Web services
Distributed and Parallel Databases
Planning as model checking: the performance of ProB vs NuSMV
Proceedings of the 2008 annual research conference of the South African Institute of Computer Scientists and Information Technologists on IT research in developing countries: riding the wave of technology
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Task decomposition on abstract states, for planning under nondeterminism
Artificial Intelligence
Synthesis and Composition of Web Services
Formal Methods for Web Services
A Case Study in Goal-Driven Architectural Adaptation
Software Engineering for Self-Adaptive Systems
Taming numbers and durations in the model checking integrated planning system
Journal of Artificial Intelligence Research
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4
Journal of Artificial Intelligence Research
Abstract reasoning for planning and coordination
Journal of Artificial Intelligence Research
Algorithms for memory hierarchies: advanced lectures
Algorithms for memory hierarchies: advanced lectures
SPIN'03 Proceedings of the 10th international conference on Model checking software
PLASMA: a plan-based layered architecture for software model-driven adaptation
Proceedings of the IEEE/ACM international conference on Automated software engineering
Synthesis of live behaviour models
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Guided recovery for web service applications
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Monitoring and recovery of web service applications
The smart internet
Synthesis of live behaviour models for fallible domains
Proceedings of the 33rd International Conference on Software Engineering
Monitoring and recovery of web service applications
The smart internet
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Probabilistic rule learning in nonmonotonic domains
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
DEL planning and some tractable cases
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Mapping conformant planning into SAT through compilation and projection
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
Intentions and strategies in game-like scenarios
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Exploiting the hierarchical structure of rule-based specifications for decision planning
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Service composition with directories
SC'06 Proceedings of the 5th international conference on Software Composition
Software Engineering for Multi-Agent Systems III
Concurrency, Compositionality, and Correctness
A universal planning system for hybrid domains
Applied Intelligence
Synthesis of event-based controllers: a software engineering challenge
Proceedings of the 34th International Conference on Software Engineering
MAS: qualitative and quantitative reasoning
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Automatic generation and learning of finite-state controllers
AIMSA'12 Proceedings of the 15th international conference on Artificial Intelligence: methodology, systems, and applications
Synthesizing nonanomalous event-based controllers for liveness goals
ACM Transactions on Software Engineering and Methodology (TOSEM)
Bounded planning for strategic goals with incomplete information and perfect recall
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Hi-index | 0.00 |