Specification of Agent Based Robotic Systems Using Hierarchical Finite State Automatons.
Cezary ZielinskiPublished in: KKA (2020)
Keyphrases
- reactive systems
- finite state
- robotic systems
- model checking
- transition systems
- temporal logic
- mobile robot
- control architecture
- formal methods
- vision system
- formal verification
- formal specification
- markov chain
- object manipulation
- autonomous robots
- robotic manipulator
- markov decision processes
- tree automata
- multi agent
- multi agent systems
- collective behavior
- context free
- action sets
- continuous time bayesian networks
- optimal policy
- policy iteration
- imitation learning
- partially observable markov decision processes
- average cost
- probabilistic context free grammars
- information extraction