Login / Signup
Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization.
Akshay Dhonthi
Philipp Schillinger
Leonel Dario Rozo
Daniele Nardi
Published in:
CoRR (2021)
Keyphrases
</>
temporal logic
model checking
robotic tasks
modal logic
human body
orders of magnitude
verification method
mazurkiewicz traces