Formal specification, refinement, and implementation of path planning

Keyphrases

• Autonomous Robots 50%
• Formal Refinement 50%
• High-level Specification 50%
• Navigation Algorithm 50%
• Path Planning Algorithm 50%
• Predicate Logic 50%
• Set Function 50%
• Set Predicates 50%
• Software Development Approach 50%
• Specification Refinement 100%
• Syntax Testing 50%
• Z Specification Language 50%
• Z-scheme 50%

Computer Science

• Fundamental Function 33%
• Mathematical Concept 33%
• Planning Algorithm 33%
• Predicate Logic 33%
• Syntax Checking 33%