Interactive Model Expansion in an Observable Environment

Pierre Carbonnelle, Joost Vennekens, Bart Bogaerts +1

Many practical problems can be understood as the search for a state of affairs that extends a fixed partial state of affairs, the \emph{environment}, while satisfying certain condi…