Bounded model checking for weighted interpreted systems and for flat weighted epistemic computation tree logic / Bożena Woźna-Szcześniak, Ireneusz SZCZEŚNIAK, Agnieszka M. Zbrzezny, Andrzej Zbrzezny // W: PRIMA 2014: Principles and Practice of Multi-Agent Systems : 17th international conference : Gold Coast, QLD, Australia, December 1-5, 2014 : proceedings / eds. Hoa Khanh Dam, [et al.]. — Cham [etc.] : Springer, cop. 2014. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 8861. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-13190-0 ; e-ISBN: 978-3-319-13191-7. — S. 107–115. — Bibliogr. s. 107, Abstr.