You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety Verification
|
---|---|
Chapter number | 48 |
Book title |
Hybrid Information Systems
|
Published by |
Physica, Heidelberg, January 2002
|
DOI | 10.1007/978-3-7908-1782-9_48 |
Book ISBNs |
978-3-79-081480-4, 978-3-79-081782-9
|
Authors |
Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki, Nakamatsu, Kazumi, Abe, Jair Minoro, Suzuki, Atsuyuki |