Charles A. Clifton

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)
Kazuhiko Kawamura, Richard Alan Peters II, Robert E. Bodenheimer, Nilanjan Sarkar, Juyi Park, Charles A. Clifton, Albert W. Spratley, Kimberly A. Hambuchen
A Parallel Distributed Cognitive Control System for a Humanoid Robot. Int. J. Humanoid Robotics 1 (1) (2004)