Bounded Model Checking for Deontic Interpreted Systems.

Bozena Wozna Alessio Lomuscio Wojciech Penczek

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

bounded model checking
search engine
dynamic programming
distributed systems
computer systems
complex systems
temporal logic
information retrieval
expert systems
general purpose
intelligent systems
building blocks
model checking