This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning Domain Description ...

Reactive systems synthesis is a rapidly evolving discipline that focuses on the automated construction of systems designed to interact continuously with complex and often unpredictable environments.

Researchers propose a new approach to finding an optimal solution for controlling large numbers of robots collaboratively completing a set of complex linear temporal logic commands called STyLuS*, for ...

This third course in the specialization focuses on modeling requirements. It is highly recommended that students take the first two courses that focus on the core structure in any autonomous system ...