Planning and resource allocation for hard real-time, fault-tolerant plan execution
Proceedings of the third annual conference on Autonomous Agents
QoS Negotiation in Real-Time Systems and Its Application to Automated Flight Control
IEEE Transactions on Computers
Imposing real-time constraints on self-adaptive controller synthesis
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Satisficing strategies for resource-limited policy search in dynamic environments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Temporal Reasoning for a Collaborative Planning Agent in a Dynamic Environment
Annals of Mathematics and Artificial Intelligence
Planning and Resource Allocation for Hard Real-time, Fault-Tolerant Plan Execution
Autonomous Agents and Multi-Agent Systems
Self-Adaptive Software for Hard Real-Time Environments
IEEE Intelligent Systems
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Multiagent planning for agents with internal execution resource constraints
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Automated resource-driven mission phasing techniques for constrained agents
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A framework for simulating real-time multi-agent systems
Knowledge and Information Systems
Planning and verification for stochastic processes with asynchronous events
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Probabilistic temporal planning with uncertain durations
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Development of iterative real-time scheduler to planner feedback
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Planning with durative actions in stochastic domains
Journal of Artificial Intelligence Research
Incremental Verification for On-the-Fly Controller Synthesis
Electronic Notes in Theoretical Computer Science (ENTCS)
Managing online self-adaptation in real-time environments
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Guaranteeing safety in spatially situated agents
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Expecting the unexpected: detecting and reacting to unplanned-for world states
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Detecting and reacting to unplanned-for world states
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Avoiding failure via pre-planned responses and time-bounded planning
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Development of iterative scheduler to planner feedback
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Resource-driven mission-phasing techniques for constrained agents in stochastic environments
Journal of Artificial Intelligence Research
Plan switching: an approach to plan execution in changing environments
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Plan development using local probabilistic models
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Proximity-based non-uniform abstractions for approximate planning
Journal of Artificial Intelligence Research
Group planning with time constraints
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |