Login / Signup
Charles A. Clifton
Publication Activity (10 Years)
Years Active: 2004-2012
Publications (10 Years): 0
Top Topics
Satisfiability Problem
Temporal Logic
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)