<--- Back to Details
First PageDocument Content
Finite automata / Timed automaton / Logic in computer science / Automated planning and scheduling / Fluent / Finite-state machine / Theoretical computer science / Planning Domain Definition Language / Models of computation
Date: 2015-02-02 08:45:53
Finite automata
Timed automaton
Logic in computer science
Automated planning and scheduling
Fluent
Finite-state machine
Theoretical computer science
Planning Domain Definition Language
Models of computation

Microsoft Word - IBSAlgorithms.doc

Add to Reading List

Source URL: foibg.com

Download Document from Source Website

File Size: 150,67 KB

Share Document on Facebook

Similar Documents

Mathematics / Computational complexity theory / Nature-inspired metaheuristics / Applied mathematics / Ant colony optimization algorithms / Swarm intelligence / Optimization problem / Mathematical optimization / Ant / Swarm behaviour / Combinatorial optimization / Shortest path problem

Automated Planning and Scheduling ΕΟ Constellations’ Operations with Ant Colony Optimization Evridiki Vasileia Ntagiou Surrey Space Centre, University of Surrey Abstract

DocID: 1xToV - View Document

27th International Conference on Automated Planning and Scheduling June 19-23, 2017, Pittsburgh, USA KEPS 2017

DocID: 1uq7E - View Document

Theoretical computer science / Robot kinematics / Constraint programming / NP-complete problems / Motion planning / Pursuit-evasion / Satisfiability modulo theories / Automated planning and scheduling / Liveness

International Conference on Automated Planning and Scheduling (ICAPSTask and Motion Policy Synthesis as Liveness Games Yue Wang and Neil T. Dantam and Swarat Chaudhuri and Lydia E. Kavraki Department of Computer

DocID: 1rgIf - View Document

Probability / Amyloidosis / Logic / Formal epistemology / Non-classical logic / Probabilistic logic / Automated planning and scheduling / PRNP / Markov decision process / Planning Domain Definition Language / PP

From FOND to Probabilistic Planning: Guiding search for quality policies Alberto Camacho† , Christian Muise∗ , Akshay Ganeshen† , Sheila A. McIlraith† † Department of Computer Science, University of Toronto Dep

DocID: 1rboJ - View Document

Cognitive science / Artificial intelligence / Automated planning and scheduling / Probability / Dynamic programming / Markov processes / Stochastic control / Reinforcement learning / Markov decision process / Motion planning / Action selection / Prior probability

Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling Goal-Based Action Priors David Abel, D. Ellis Hershkowitz, Gabriel Barth-Maron, Stephen Brawner, Kevin O’Farrell, James Mac

DocID: 1ra2S - View Document