Existential quantification
Related papers: 5
Top Researchers
Top Cited Papers
Automatic planning of fine motions: Correctness and completeness
Matthew T. Mason
Citations: 72 • 2005
Self-stabilizing gathering with strong multiplicity detection
Yoann Dieudonné, Franck Petit
Citations: 49 • 2011
On the self-stabilization of mobile oblivious robots in uniform rings
Fukuhito Ooshita, Sébastien Tixeuil
Citations: 15 • 2014
On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings
Fukuhito Ooshita, Sébastien Tixeuil
Citations: 10 • 2012
Extending DTGolog to deal with POMDPs
Gavin Rens, Alexander Ferrein, Etienne van der Poel
Citations: 4 • 2008