Existential quantification
相关论文数: 5
顶级研究者
最高引用论文
Automatic planning of fine motions: Correctness and completeness
Matthew T. Mason
引用数: 72 • 2005
Self-stabilizing gathering with strong multiplicity detection
Yoann Dieudonné, Franck Petit
引用数: 49 • 2011
On the self-stabilization of mobile oblivious robots in uniform rings
Fukuhito Ooshita, Sébastien Tixeuil
引用数: 15 • 2014
On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings
Fukuhito Ooshita, Sébastien Tixeuil
引用数: 10 • 2012
Extending DTGolog to deal with POMDPs
Gavin Rens, Alexander Ferrein, Etienne van der Poel
引用数: 4 • 2008