Tackling continuous state-space explosion in a Markovian process algebra.
Max TschaikowskiMirco TribastonePublished in: Theor. Comput. Sci. (2014)
Keyphrases
- process algebra
- continuous state spaces
- state space
- concurrent systems
- model checking
- formal specification
- asynchronous circuits
- formal methods
- web services composition
- control problems
- markov decision processes
- communication protocols
- reinforcement learning
- action space
- continuous state
- petri net
- temporal logic
- distributed systems
- programming environment
- planning problems
- web service composition
- artificial intelligence
- dynamic programming
- reverse engineering
- formal languages
- partially observable markov decision processes
- robot navigation
- optimal control
- heuristic search
- knowledge based systems
- markov chain
- software engineering
- probability distribution
- web services