| Certified Unsolvability for SAT Planning with Property Directed Reachability
|
2020 |
Eriksson, Salomé |
| EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations
|
2020 |
Fabiano, Francesco |
| New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding
|
2020 |
Li, Jiaoyang |
| TLdR: Policy Summarization for Factored SSP Problems Using Temporal Abstractions
|
2020 |
Sreedharan, Sarath |
| Deep Reinforcement Learning Approach to Solve Dynamic Vehicle Routing Problem with Stochastic Customers
|
2020 |
Joe, Waldy |
| Integrating Acting, Planning, and Learning in Hierarchical Operational Models
|
2020 |
Patra, Sunandita |
| Learning Neural Search Policies for Classical Planning
|
2020 |
Gomoluch, Pawel |
| Utilising Uncertainty for Efficient Learning of Likely-Admissible Heuristics
|
2020 |
Marom, Ofir |
| Joint Inference of Reward Machines and Policies for Reinforcement Learning
|
2020 |
Xu, Zhe |
| Probabilistic Robust Multi-Agent Path Finding
|
2020 |
Atzmon, Dor |
| Multi-Tier Automated Planning for Adaptive Behavior
|
2020 |
Ciolek, Daniel |
| Solving the Longest Simple Path Problem with Heuristic Search
|
2020 |
Cohen, Yossi |
| A Simple and Fast Bi-Objective Search Algorithm
|
2020 |
Ulloa, Carlos Hernández |
| Efficient Robot Planning for Achieving Multiple Independent Partially Observable Tasks that Evolve over Time
|
2020 |
Mohseni-Kabir, Anahita |
| Search-Guidance Mechanisms for Numeric Planning through Subgoaling Relaxation
|
2020 |
Scala, Enrico |
| Privacy Preserving Planning in Stochastic Environments
|
2020 |
Shani, Guy |
| Revisiting Bounded-Suboptimal Safe Interval Path Planning
|
2020 |
Yakovlev, Konstantin |
| Dynamic Controllability and (J,K)-Resiliency in Generalized Constraint Networks with Uncertainty
|
2020 |
Zavatteri, Matteo |
| Bounded Suboptimal Path Planning with Compressed Path Databases
|
2020 |
Zhao, Shizhe |
| New Developments for Robert – Assisting Novice Users Even Better in DIY Projects
|
2020 |
Behnke, Gregor |
Tag hinzufügen