Checking EMTLK properties of timed interpreted systems via bounded model checking.

Bozena Wozna-Szczesniak

Published in: AAMAS (2014)

Keyphrases

bounded model checking
management system
learning systems
complex systems
computer systems
model checking
data sets
cooperative
expert systems
building blocks
finite state machines