Introspective Environment Modeling
- Author(s): Seshia, SA
- Editor(s): Finkbeiner, Bernd;
- Mariani, Leonardo
- et al.
Published Web Locationhttps://doi.org/10.1007/978-3-030-32079-9_2
Autonomous systems often operate in complex environments which can beextremely difficult to model manually at design time. The set of agents and objects in the environment can be hard to predict, let alone their behavior. We present the idea of introspective environment modeling, in which one algorithmically synthesizes, by introspecting on the system, assumptions on the environment under which the system can guarantee correct operation and which can be efficiently monitored at run time. We formalize the problem, illustrate it with examples, and describe an approach to solving a simplified version of the problem in the context of temporal logic planning. We conclude with an outlook to future work.