Formal Synthesis of Warehouse Robotic Systems with Temporal Logic Specifications.
Yuanjiang YangJiawei ZhaoXiang YinShaoyuan LiPublished in: CIS/RAM (2019)
Keyphrases
- robotic systems
- temporal logic
- reactive systems
- model checking
- formal specification
- concurrent systems
- model checker
- transition systems
- bounded model checking
- formal specification language
- modal logic
- satisfiability problem
- vision system
- formal methods
- mobile robot
- data warehouse
- specification language
- formal verification
- predicate logic
- finite state
- linear temporal logic
- belief revision
- temporal knowledge
- imitation learning
- mazurkiewicz traces
- robotic manipulator
- operational semantics
- dynamic constraints
- logical formulas
- temporally extended
- human teaching behavior
- temporally extended goals
- computation tree logic
- e learning
- real time