Login / Signup

SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems.

Bozena Wozna-Szczesniak
Published in: Fundam. Informaticae (2016)
Keyphrases
  • bounded model checking
  • model checking
  • temporal logic
  • formal verification
  • management system
  • distributed systems
  • linear temporal logic
  • complex systems
  • multi agent
  • active learning
  • knowledge representation