Login / Signup

Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections.

Miguel CarrilloDavid A. Rosenblueth
Published in: ATVA (2011)
Keyphrases
  • statistical models
  • probabilistic model
  • real time
  • information systems
  • prior knowledge
  • temporal logic
  • web services
  • logic programming
  • statistical model
  • model checking
  • minimal change