( en | de | ru )

 

Disambiguation of "Raman, Vasumathi"

Author of the publication

copydeleteadd this publication to your clipboard
On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks.

, , and . FMCAD, page 81-84. IEEE, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sreenath Ramanath

Aravamudhan Raman

Natraj Raman

Raman Revri

Nallepalli Raman

 

Other publications of authors with the same name

Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control., , , and . IEEE Trans. Robotics, 31 (3): 591-604 (2015)Correct high-level robot control from structured English., , , and . ICRA, page 3543-3544. IEEE, (2012)Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations., , and . ICRA, page 4075-4081. IEEE, (2013)Variable elimination for scalable receding horizon temporal logic planning., , and . ACC, page 1917-1922. IEEE, (2015)Reactive switching protocols for multi-robot high-level tasks.. IROS, page 336-341. IEEE, (2014)Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning., , and . ICRA, page 369-376. IEEE, (2015)Combining neural networks and tree search for task and motion planning in challenging environments., , , and . IROS, page 6059-6066. IEEE, (2017)On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks., , and . FMCAD, page 81-84. IEEE, (2016)Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory., , and . IROS, page 1233-1238. IEEE, (2012)Online horizon selection in receding horizon temporal logic planning., , , and . IROS, page 3493-3499. IEEE, (2015)