Browsing by Keywords "Theorem proving"

Now showing items 21-21 of 21

Using constrained intuitionistic linear logic for hybrid robotic planning problems

Saranlı, Uluç; Pfenning F. (IEEE, 2007)

Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in building automated tools for such synthesis problems ...