Login / Signup

Specifying Real-Time Finite-State Systems in Linear Logic.

Max I. KanovichMitsuhiro OkadaAndre Scedrov
Published in: Electron. Notes Theor. Comput. Sci. (1998)
Keyphrases
  • finite state
  • real time
  • linear logic
  • markov chain
  • model checking
  • markov decision processes
  • expert systems
  • distributed systems
  • optimal policy
  • probabilistic model
  • fixed point
  • transition systems