Michael Melholt Quottrup

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Topics

Satisfiability Problem

Reactive Systems

Bounded Model Checking

Top Venues

Sci. China Inf. Sci.

Publications

T. John Koo, Rongqing Li, Michael Melholt Quottrup, Charles A. Clifton, Roozbeh Izadi-Zamanabadi, Thomas Bak
A framework for multi-robot motion planning from temporal logic specifications. Sci. China Inf. Sci. 55 (7) (2012)
Michael Melholt Quottrup, Thomas Bak, Roozbeh Izadi-Zamanabadi
Multi-robot Planning: a Timed Automata Approach. ICRA (2004)