Login / Signup

Dynamically inferring temporal properties.

Jinlin YangDavid Evans
Published in: PASTE (2004)
Keyphrases
  • temporal properties
  • model checking
  • formal methods
  • possibility theory
  • temporal logic
  • machine learning
  • artificial intelligence
  • database systems
  • rough set theory