A Dynamic Logic for Acting, Sensing and Planning (1999)

by Luca Spalazzi , Paolo Traverso
Citations:16 - 3 self