LTL Verification of Online Executions with Sensing in Bounded Situation Calculus.

Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi, Stavros Vassos

Browse the full ECAI paper archive.