Opening book details…
About this Engineering article
A Formal Framework for Design and Verification of Robotic Agents by K. Periyasamy; V. S. Alagar; T. D. Bui is a Engineering article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Engineering.
- Author
- K. Periyasamy; V. S. Alagar; T. D. Bui
- Publisher
- Springer Netherlands; Springer-Verlag; Kluwer Academic Publishers; Springer Science and Business Media LLC; Society for Mining, Metallurgy and Exploration Inc. (ISSN 0921-0296)
- Published
- 1993
- Field
- Engineering (Physical Sciences)