Progress in Artificial Intelligence
Springer, Cham
Chapter title |
SMT-Based Bounded Model Checking for Weighted Epistemic ECTL
|
---|---|
Chapter number | 65 |
Book title |
Progress in Artificial Intelligence
|
Published by |
Springer, Cham, September 2015
|
DOI | 10.1007/978-3-319-23485-4_65 |
Book ISBNs |
978-3-31-923484-7, 978-3-31-923485-4
|
Authors |
Agnieszka M. Zbrzezny, Bożena Woźna-Szcześniak, Andrzej Zbrzezny |