Multi-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT)

23 March 2019

Papers citing "Multi-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT)"

1 / 1 papers shown

Title
Multi-Agent Path Finding with Deadlines: Preliminary Results Hang Ma Glenn Wagner Ariel Felner Jiaoyang Li T. K. S. Kumar Sven Koenig AI4CE 52 61 0 13 May 2018