Long story short - formal methods and robots.
I have 2 things
Bitty Robot and one another related to work.
What I want to reach with formal methods?.. Good question if I only know what formal methods are capable for.
Let start with survay
Luckcuck, M., Farrell, M., Dennis, L., Dixon, C., & Fisher, M. (2018). Formal Specification and Verification of Autonomous Robotic Systems: A Survey. https://doi.org/10.1145/3342355
No comments:
Post a Comment