@inproceedings{c59777164ebb4fe3adce69e36c67add3,
title = "Abstractions of multi-agent systems",
abstract = "With the recent development of many model-checkers for the temporal logic of knowledge, abstraction techniques are necessary to increase the size of the systems that can be verified. In this paper, we introduce several abstraction techniques for interpreted systems and we prove several preservation results. These results consider the temporal logic of knowledge under Kleene's 3-valued interpretation along infinite and maximal finite paths.",
author = "Constantin Enea and Catalin Dima",
year = "2007",
month = jan,
day = "1",
doi = "10.1007/978-3-540-75254-7\_2",
language = "English",
isbn = "9783540752530",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "11--21",
booktitle = "Multi-Agent Systems and Applications V - 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Proceedings",
note = "5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007 ; Conference date: 25-09-2007 Through 27-09-2007",
}