Temporal Logic Motion Planning in Robotics

BOOK-CHAPTER

Year: 2013 Pages: 199-223

DOI: 10.1201/b12690-13

Keywords:

Artificial intelligence Robotics Computer science Motion (physics) Computer vision Robot

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.07

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Model-Driven Software Engineering Techniques

Physical Sciences → Computer Science → Software

Logic, programming, and type systems

Physical Sciences → Computer Science → Artificial Intelligence