Login / Signup
SOCS
2010
2014
2020
2024
2010
2024
Keyphrases
Publications
2024
Anas El Kouaiti
,
Francesco Percassi
,
Alessandro Saetti
,
Thomas Leo McCluskey
,
Mauro Vallati
Deployable Yet Effective Traffic Signal Optimisation via Automated Planning (Extended Abstract).
SOCS
(2024)
Evgeny Mishlyakov
,
Mikhail Gruntov
,
Alexander Shleyfman
,
Erez Karpas
A Deterministic Search Approach for Solving Stochastic Drone Search and Rescue Planning Without Communications.
SOCS
(2024)
Yu Wu
,
Rishi Veerapaneni
,
Jiaoyang Li
,
Maxim Likhachev
From Space-Time to Space-Order: Directly Planning a Temporal Planning Graph by Redefining CBS (Extended Abstract).
SOCS
(2024)
Md. Solimul Chowdhury
,
Martin Müller
,
Jia-Huai You
Exploring Conflict Generating Decisions: Initial Results (Extended Abstract).
SOCS
(2024)
Pablo Araneda
,
Carlos Hernández Ulloa
,
Nicolás Rivera
,
Jorge A. Baier
Finding a Small, Diverse Subset of the Pareto Solution Set in Bi-Objective Search (Extended Abstract).
SOCS
(2024)
Abdallah Abu-Aisha
,
Mark Wallace
,
Daniel Harabor
,
Bojie Shen
Efficient and Exact Public Transport Routing via a Transfer Connection Database.
SOCS
(2024)
Shahar Bardugo
,
Dor Atzmon
Finiding All Optimal Solutions in Multi-Agent Path Finding (Extended Abstract).
SOCS
(2024)
Jingtian Yan
,
Jiaoyang Li
Multi-Agent Motion Planning with Bézier Curve Optimization under Kinodynamic Constraints (Extended Abstract).
SOCS
(2024)
Devin Wild Thomas
,
Wheeler Ruml
,
Solomon Eyal Shimony
Real-time Safe Interval Path Planning.
SOCS
(2024)
Francesco Percassi
,
Enrico Scala
,
Alfonso Emilio Gerevini
Optimised Variants of Polynomial Compilation for Conditional Effects in Classical Planning.
SOCS
(2024)
Michael Katz
,
Junkyu Lee
,
Jungkoo Kang
,
Shirin Sohrabi
Some Orders Are Important: Partially Preserving Orders in Top-Quality Planning.
SOCS
(2024)
Clemens Büchner
,
Remo Christen
,
Salomé Eriksson
,
Thomas Keller
Hitting Set Heuristics for Overlapping Landmarks in Satisficing Planning.
SOCS
(2024)
Zhe Chen
,
Daniel Harabor
,
Jiaoyang Li
,
Peter J. Stuckey
Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding (Extended Abstract).
SOCS
(2024)
Lior Siag
,
Shahaf S. Shperberg
,
Ariel Felner
,
Nathan R. Sturtevant
On Parallel External-Memory Bidirectional Search (Extended Abstract).
SOCS
(2024)
Irene Saccani
,
Kristýna Janovská
,
Pavel Surynek
Spectral Clustering in Rule-based Algorithms for Multi-agent Path Finding (Extended Abstract).
SOCS
(2024)
Seventeenth International Symposium on Combinatorial Search, SOCS 2024, Kananaskis, Alberta, Canada, June 6-8, 2024.
SOCS
(2024)
Jingtao Tang
,
Hang Ma
Mixed Integer Programming for Time-Optimal Multi-Robot Coverage Path Planning with Efficient Heuristics (Extended Abstract).
SOCS
(2024)
Jingtian Yan
,
Jiaoyang Li
Multi-agent Motion Planning through Stationary State Search (Extended Abstract).
SOCS
(2024)
Yihao Liu
,
Xueyan Tang
,
Wentong Cai
,
Jingning Li
Multi-Agent Path Execution with Uncertainty.
SOCS
(2024)
Rishi Veerapaneni
,
Jonathan Park
,
Muhammad Suhail Saleem
,
Maxim Likhachev
A Data Efficient Framework for Learning Local Heuristics.
SOCS
(2024)
Han Zhang
,
Oren Salzman
,
Ariel Felner
,
Carlos Hernández Ulloa
,
Sven Koenig
A-A*pex: Efficient Anytime Approximate Multi-Objective Search.
SOCS
(2024)
Jiang He
,
Yulun Zhang
,
Rishi Veerapaneni
,
Jiaoyang Li
Scaling Lifelong Multi-Agent Path Finding to More Realistic Settings: Research Challenges and Opportunities.
SOCS
(2024)
Santiago Franco
,
Jamie O. Roberts
,
Sara Bernardini
Lazy Evaluation of Negative Preconditions in Planning Domains (Extended Abstract).
SOCS
(2024)
Gal Dahan
,
Itay Tabib
,
Solomon Eyal Shimony
,
Yefim Dinitz
Generalized Longest Simple Path Problems: Speeding up Search Using SPQR Trees.
SOCS
(2024)
Sean Mariasin
,
Andrew Coles
,
Erez Karpas
,
Wheeler Ruml
,
Solomon Eyal Shimony
,
Shahaf S. Shperberg
Evaluating Distributional Predictions of Search Time: Put Up or Shut Up Games (Extended Abstract).
SOCS
(2024)
Yue Zhang
,
Zhe Chen
,
Daniel Harabor
,
Pierre Le Bodic
,
Peter J. Stuckey
Planning and Exection in Multi-Agent Path Finding: Models and Algorithms (Extended Abstract).
SOCS
(2024)
Songtuan Lin
,
Daniel Höller
,
Pascal Bercher
Modeling Assistance for Hierarchical Planning: An Approach for Correcting Hierarchical Domains with Missing Actions.
SOCS
(2024)
Pavel Surynek
Non-Refined Abstractions in Counterexample Guided Abstraction Refinement for Multi-Agent Path Finding (Extended Abstract).
SOCS
(2024)
Han Zhang
,
Oren Salzman
,
Ariel Felner
,
T. K. Satish Kumar
,
Carlos Hernández Ulloa
,
Sven Koenig
Speeding Up Dominance Checks in Multi-Objective Search: New Techniques and Data Structures.
SOCS
(2024)
Rodrigo López
,
Roberto Javier Asín Achá
,
Jorge A. Baier
A New Upper Bound for the Makespan of Cost-Optimal Solutions for Multi-Agent Path Finding (Extended Abstract).
SOCS
(2024)
Shanhe Zhong
,
Pouya Shati
,
Eldan Cohen
Bi-Criteria Diverse Plan Selection via Beam Search Approximation.
SOCS
(2024)
Jingtao Tang
,
Hang Ma
Large-Scale Multi-Robot Coverage Path Planning via Local Search (Extended Abstract).
SOCS
(2024)
Cheng Qian
,
Yulun Zhang
,
Jiaoyang Li
A Quality Diversity Approach to Automatically Generate Multi-Agent Path Finding Benchmark Maps (Extended Abstract).
SOCS
(2024)
Yuanhang Zhang
,
Hesheng Wang
,
Zhongqiang Ren
A Short Summary of Multi-Agent Combinatorial Path Finding with Heterogeneous Task Duration (Extended Abstract).
SOCS
(2024)
Dawson Tomasz
,
Richard Valenzano
The Bench Transition System and Stochastic Exploration.
SOCS
(2024)
Dillon Z. Chen
,
Sylvie Thiébaux
Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning.
SOCS
(2024)
Masataro Asai
,
Stephen Wissow
Extreme Value Monte Carlo Tree Search (Extended Abstract).
SOCS
(2024)
Justin Kottinger
,
Tzvika Geft
,
Shaull Almagor
,
Oren Salzman
,
Morteza Lahijanian
Introducing Delays in Multi Agent Path Finding.
SOCS
(2024)
Shahaf S. Shperberg
,
Ariel Felner
,
Lior Siag
,
Nathan R. Sturtevant
On the Properties of All-Pair Heuristics.
SOCS
(2024)
Matteo Cardellini
,
Marco Maratea
,
Francesco Percassi
,
Enrico Scala
,
Mauro Vallati
Taming Discretised PDDL+ through Multiple Discretisations (Extended Abstract).
SOCS
(2024)
Grigorios Mouratidis
,
Bernhard Nebel
,
Sven Koenig
Fools Rush in Where Angels Fear to Tread in Multi-Goal CBS.
SOCS
(2024)
Pierre Le Bodic
,
Edward Lam
Optimal Unlabeled Pebble Motion on Trees.
SOCS
(2024)
Yimin Tang
,
Sven Koenig
,
Jiaoyang Li
ITA-ECBS: A Bounded-Suboptimal Algorithm for Combined Target-Assignment and Path-Finding Problem.
SOCS
(2024)
Mark Carlson
,
Daniel Harabor
,
Peter J. Stuckey
Avoiding Node Re-Expansions Can Break Symmetry Breaking.
SOCS
(2024)
Daniel Koyfman
,
Shahaf S. Shperberg
,
Dor Atzmon
,
Ariel Felner
Minimizing State Exploration While Searching Graphs with Unknown Obstacles (Extended Abstract).
SOCS
(2024)
Yarin Benyamin
,
Argaman Mordoch
,
Shahaf S. Shperberg
,
Wiktor Piotrowski
,
Roni Stern
Crafting a Pogo Stick in Minecraft with Heuristic Search (Extended Abstract).
SOCS
(2024)
Stephen Wissow
,
Fanhao Yu
,
Wheeler Ruml
Tunable Suboptimal Heuristic Search.
SOCS
(2024)
Yulun Zhang
,
Matthew C. Fontaine
,
Varun Bhatt
,
Stefanos Nikolaidis
,
Jiaoyang Li
Multi-Robot Coordination and Layout Design for Automated Warehousing (Extended Abstract).
SOCS
(2024)
Yorai Shaoul
,
Rishi Veerapaneni
,
Maxim Likhachev
,
Jiaoyang Li
Unconstraining Multi-Robot Manipulation: Enabling Arbitrary Constraints in ECBS with Bounded Sub-Optimality.
SOCS
(2024)
Konstantin S. Yakovlev
,
Anton Andreychuk
,
Roni Stern
Optimal and Bounded Suboptimal Any-Angle Multi-agent Pathfinding (Extended Abstract).
SOCS
(2024)