Temporal logic control under incomplete or conflicting information

Temporal logic control methods have provided a viable path towards solving the single- and multi-robot path planning, control and coordination problems from high level formal requirements. In the existing frameworks, the prevalent assumption is that there is a single stakeholder with full or partial knowledge of the environment or the system. However, this assumption may not be valid in both off-line and on-line temporal logic control problems. That is, multiple stakeholders and inaccurate sources of information may produce a self-contradictory model of the world or the system. Classical control synthesis methods cannot handle non-consistent model environments even though such inconsistencies may not affect the control synthesis problem for a given formal requirement. In this work, we show how such problems can be circumvented by utilizing multi-valued temporal logics and system models.