Logical path planning
Róbert Baláž
Technical University of Košice
Faculty of Electrical engineering and
informatics
First-order logic
Satisfiability Modulo Theories
Theory of difference logic
Resolving SMT formulas
Path planning – logical approach
Path planning – logical approach
Constraints I.
Constraints II.
Constraints III.
Constraints IV.
Constraints V.
Constraints VI.
Curved lines and shapes containing them
Lines parallel with environment borders
Solving the task - algorithm
Solution example