Python Subset to Digital Logic Dataflow Compiler for Robots and IoT.
Kristaps JurkansCharles FoxPublished in: TrustCom (2023)
Keyphrases
- programming language
- logic programming
- multi robot
- mobile robot
- parallel execution
- open source
- modal logic
- cooperative
- management system
- object oriented
- big data
- robot control
- general purpose
- robotic systems
- cloud computing
- open source software
- parallel computing
- multi valued
- classical logic
- path planning
- high level
- software systems
- design methodology
- human robot interaction
- data management
- constraint language