Home /Research /Formal Specification of Robotic Architectures for Experimental Robotics
OTHER

Formal Specification of Robotic Architectures for Experimental Robotics

Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus

Year
2019
Citations
5

Keywords

ToolchainComputer scienceExecutableRoboticsSoftware engineeringArtificial intelligenceDomain (mathematical analysis)SoftwareSoftware frameworkSoftware system

Related papers

Browse all OTHER papers