Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces

Arabinda Ghosh, Mahmoud Salamati, Sadegh Soudjani

This paper presents a step towards a formal controller design method for autonomous agents based on knowledge awareness to improve decision-making. Our approach is to first create…