| Falsification of Cyber-Physical Systems Using PDDL+ Planning
|
2023 |
Aineto, Diego |
| Exploiting Geometric Constraints in Multi-Agent Pathfinding
|
2023 |
Atzmon, Dor |
| Convexity Hierarchies in Grid Networks
|
2023 |
Blum, Johannes |
| Safety Shielding under Delayed Observation
|
2023 |
Córdoba, Filip Cano |
| Operator Pruning Using Lifted Mutex Groups via Compilation on Lifted Level
|
2023 |
Fišer, Daniel |
| Automatic Metamorphic Test Oracles for Action-Policy Testing
|
2023 |
Eisenhut, Jan |
| A Planning Approach to Repair Domains with Incomplete Action Effects
|
2023 |
Gragera, Alba |
| Fixing Plans for PDDL+ Problems: Theoretical and Practical Implications
|
2023 |
Percassi, Francesco |
| A Constraint Programming Solution to the Guillotine Rectangular Cutting Problem
|
2023 |
Polyakovskiy, Sergey |
| Lifted Stackelberg Planning
|
2023 |
Sauer, Philipp |
| Finding Matrix Multiplication Algorithms with Classical Planning
|
2023 |
Speck, David |
| Combining Clinical and Spatial Constraints into Temporal Planning to Personalize Physical Rehabilitation
|
2023 |
Umbrico, Alessandro |
| Safe MDP Planning by Learning Temporal Patterns of Undesirable Trajectories and Averting Negative Side Effects
|
2023 |
Low, Siow Meng |
| W-restrained Bidirectional Bounded-Suboptimal Heuristic Search
|
2023 |
Atzmon, Dor |
| Runahead A*: Speculative Parallelism for A* with Slow Expansions
|
2023 |
Bakhshalipour, Mohammad |
| Landmark Progression in Heuristic Search
|
2023 |
Büchner, Clemens |
| Using Simple Incentives to Improve Two-Sided Fairness in Ridesharing Systems
|
2023 |
Kumar, Ashwin |
| Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring
|
2023 |
Krale, Merlijn |
| Efficient Reasoning about Infeasible One Machine Sequencing
|
2023 |
Mencía, Raúl |
| Robust Metric Hybrid Planning in Stochastic Nonlinear Domains Using Mathematical Optimization
|
2023 |
Say, Buser |
Tag hinzufügen