Tatjana Petrovic

Publication Activity (10 Years)

Years Active: 1991-1993
Publications (10 Years): 0

Publications

Nenad Kircanski, Tatjana Petrovic, Miomir Vukobratovic
Parallel computation of symbolic robot models and control laws: Theory and application to transputer networks. J. Field Robotics 10 (3) (1993)
Nenad Kircanski, Tatjana Petrovic, Miomir Vukobratovic
A Parallel Computer Architecture for Real-Time Control Applications in Grasping and Manipulation. ICRA (2) (1993)
Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic
Prover 91 - A Parallel Theorem Prover (Extended Abstract). TABLEAUX (1992)
Nenad Kircanski, Tatjana Petrovic, Miomir Vukobratovic
Parallel computation of symbolic robot models and control laws: theory and application on transputer networks. ICRA (1992)
Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic
A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). TABLEAUX (1992)
Nenad Kircanski, Djordje Lekovic, Mirko Boric, Miomir Vukobratovic, Milan Djurovic, Nevena Djurovic, Tatjana Petrovic, Branko Karan, Dragan Urosevic
A Distributed PC-Based Control System for Education in Robotics. Robotica 9 (2) (1991)