Robotica
From MaRDI portal
Cited in
(9)- Simulation in robotics
- Integrated environment for modelling, simulation and control design for robotic manipulators
- Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}
- 20SIM
- Manufacturing systems control design. A matrix-based approach.
- LAMP
- Symbolic computation for mobile robot path planning
- 20-sim
- transcendentals.ml
This page was built for software: Robotica
