State Space c-Reductions of Concurrent Systems in Rewriting Logic.
Alberto Lluch-LafuenteJosé MeseguerAndrea VandinPublished in: ICFEM (2012)
Keyphrases
- concurrent systems
- state space
- transition systems
- temporal logic
- modal logic
- distributed systems
- model checking
- process algebra
- formal specification
- heuristic search
- dynamic programming
- petri net
- dynamical systems
- reinforcement learning
- markov decision processes
- state variables
- particle filter
- case study
- asynchronous circuits
- queries using views
- conjunctive queries
- rewriting rules
- rewrite rules
- model checker
- optimal policy
- query rewriting
- goal state
- belief state
- object oriented
- deductive databases
- planning problems