An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System Specifications.

Takenobu Aoshima Naoki Yonezaki

Published in: EJC (2000)

Keyphrases

partial evaluation
verification method
model checking
reactive systems
temporal logic
explanation based generalization
description logics
agent architecture
formal specification
databases
search engine
reinforcement learning
prior knowledge
software engineering
modal logic
domain theory