scholarly journals Counterexamples for Robotic Planning Explained in Structured Language

Author(s):  
Lu Feng ◽  
Mahsa Ghasemi ◽  
Kai-Wei Chang ◽  
Ufuk Topcu
Keyword(s):  
1979 ◽  
Vol 8 (4) ◽  
pp. 303-333 ◽  
Author(s):  
Supachai Tangwongsan ◽  
K. S. Fu
Keyword(s):  

1997 ◽  
Vol 5 (8) ◽  
pp. 1183
Author(s):  
Hans-Jürgen Buxbaum

2021 ◽  
Author(s):  
Maximilian Diehl ◽  
Chris Paxton ◽  
Karinne Ramirez-Amaro

1989 ◽  
Author(s):  
W. J. Wolfe ◽  
D. Mathis ◽  
C. Weber ◽  
M. Magee

2018 ◽  
Vol 127 ◽  
pp. S352-S353
Author(s):  
H. Taylor ◽  
C. Meehan ◽  
P. Sturt ◽  
N. Fotiadis

Sign in / Sign up

Export Citation Format

Share Document