Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alessio Lomuscio
@article{DBLP:journals/corr/abs-2401-11627,
author = {Ben Batten and
Mehran Hosseini and
Alessio Lomuscio},
title = {Tight Verification of Probabilistic Robustness in Bayesian Neural
Networks},
journal = {CoRR},
volume = {abs/2401.11627},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.11627},
doi = {10.48550/ARXIV.2401.11627},
eprinttype = {arXiv},
eprint = {2401.11627},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11627.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/SenanayakeFKLMO23,
author = {Ransalu Senanayake and
Daniel J. Fremont and
Mykel J. Kochenderfer and
Alessio R. Lomuscio and
Dragos D. Margineantu and
Cheng Soon Ong},
title = {Guest Editorial: Special issue on robust machine learning},
journal = {Mach. Learn.},
volume = {112},
number = {8},
pages = {2787--2789},
year = {2023},
url = {https://doi.org/10.1007/s10994-021-06113-4},
doi = {10.1007/S10994-021-06113-4},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ml/SenanayakeFKLMO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HenriksenL23,
author = {Patrick Henriksen and
Alessio Lomuscio},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Robust Training of Neural Networks against Bias Field Perturbations},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {14865--14873},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i12.26736},
doi = {10.1609/AAAI.V37I12.26736},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HenriksenL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lan0L23,
author = {Jianglin Lan and
Yang Zheng and
Alessio Lomuscio},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Iteratively Enhanced Semidefinite Relaxations for Efficient Neural
Network Verification},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {14937--14945},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i12.26744},
doi = {10.1609/AAAI.V37I12.26744},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lan0L23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LanBL23,
author = {Jianglin Lan and
Benedikt Br{\"{u}}ckner and
Alessio Lomuscio},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {A Semidefinite Relaxation Based Branch-and-Bound Method for Tight
Neural Network Verification},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {14946--14954},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i12.26745},
doi = {10.1609/AAAI.V37I12.26745},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LanBL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LeofanteL23,
author = {Francesco Leofante and
Alessio Lomuscio},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {Towards Robust Contrastive Explanations for Human-Neural Multi-agent
Systems},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {2343--2345},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598928},
doi = {10.5555/3545946.3598928},
timestamp = {Tue, 23 May 2023 14:27:14 +0200},
biburl = {https://dblp.org/rec/conf/atal/LeofanteL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HosseiniL23,
author = {Mehran Hosseini and
Alessio Lomuscio},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic
Environments},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {2382--2384},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598941},
doi = {10.5555/3545946.3598941},
timestamp = {Tue, 23 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/HosseiniL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/HanspalL23,
author = {Harleen Hanspal and
Alessio Lomuscio},
title = {Efficient Verification of Neural Networks Against LVM-Based Specifications},
booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
{CVPR} 2023, Vancouver, BC, Canada, June 17-24, 2023},
pages = {3894--3903},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CVPR52729.2023.00379},
doi = {10.1109/CVPR52729.2023.00379},
timestamp = {Mon, 28 Aug 2023 16:14:07 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/HanspalL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/LeofanteL23,
author = {Francesco Leofante and
Alessio Lomuscio},
editor = {Vadim Malvone and
Aniello Murano},
title = {Robust Explanations for Human-Neural Multi-agent Systems with Formal
Verification},
booktitle = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,
Italy, September 14-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14282},
pages = {244--262},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43264-4\_16},
doi = {10.1007/978-3-031-43264-4\_16},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eumas/LeofanteL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/LeofanteHL23,
author = {Francesco Leofante and
Patrick Henriksen and
Alessio Lomuscio},
title = {Verification-friendly Networks: the Case for Parametric ReLUs},
booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2023, Gold
Coast, Australia, June 18-23, 2023},
pages = {1--9},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IJCNN54540.2023.10191169},
doi = {10.1109/IJCNN54540.2023.10191169},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcnn/LeofanteHL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KouvarosLECML23,
author = {Panagiotis Kouvaros and
Francesco Leofante and
Blake Edwards and
Calvin Chung and
Dragos D. Margineantu and
Alessio Lomuscio},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Verification of Semantic Key Point Detection for Aircraft Pose Estimation},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {757--762},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/77},
doi = {10.24963/KR.2023/77},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KouvarosLECML23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nesy/AkintundeBKL23,
author = {Michael Akintunde and
Elena Botoeva and
Panagiotis Kouvaros and
Alessio Lomuscio},
editor = {Artur S. d'Avila Garcez and
Tarek R. Besold and
Marco Gori and
Ernesto Jim{\'{e}}nez{-}Ruiz},
title = {Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems},
booktitle = {Proceedings of the 17th International Workshop on Neural-Symbolic
Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July
3-5, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3432},
pages = {427},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3432/paper44.pdf},
timestamp = {Tue, 11 Jul 2023 17:14:10 +0200},
biburl = {https://dblp.org/rec/conf/nesy/AkintundeBKL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-13991,
author = {Alessandro De Palma and
Rudy Bunel and
Krishnamurthy Dvijotham and
M. Pawan Kumar and
Robert Stanforth and
Alessio Lomuscio},
title = {Expressive Losses for Verified Robustness via Convex Combinations},
journal = {CoRR},
volume = {abs/2305.13991},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.13991},
doi = {10.48550/ARXIV.2305.13991},
eprinttype = {arXiv},
eprint = {2305.13991},
timestamp = {Mon, 05 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-13991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/AkintundeBKL22,
author = {Michael E. Akintunde and
Elena Botoeva and
Panagiotis Kouvaros and
Alessio Lomuscio},
title = {Formal verification of neural agents in non-deterministic environments},
journal = {Auton. Agents Multi Agent Syst.},
volume = {36},
number = {1},
pages = {6},
year = {2022},
url = {https://doi.org/10.1007/s10458-021-09529-3},
doi = {10.1007/S10458-021-09529-3},
timestamp = {Mon, 27 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/AkintundeBKL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LomuscioP22,
author = {Alessio Lomuscio and
Edoardo Pirovano},
title = {A counter abstraction technique for verifying properties of probabilistic
swarm systems},
journal = {Artif. Intell.},
volume = {305},
pages = {103666},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103666},
doi = {10.1016/J.ARTINT.2022.103666},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LomuscioP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BelardinelliLMY22,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Vadim Malvone and
Emily Yu},
title = {Approximating Perfect Recall when Model Checking Strategic Abilities:
Theory and Applications},
journal = {J. Artif. Intell. Res.},
volume = {73},
pages = {897--932},
year = {2022},
url = {https://doi.org/10.1613/jair.1.12539},
doi = {10.1613/JAIR.1.12539},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/BelardinelliLMY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lan0L22,
author = {Jianglin Lan and
Yang Zheng and
Alessio Lomuscio},
title = {Tight Neural Network Verification via Semidefinite Relaxations and
Linear Reformulations},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {7272--7280},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i7.20689},
doi = {10.1609/AAAI.V36I7.20689},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lan0L22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HenriksenLL22,
author = {Patrick Henriksen and
Francesco Leofante and
Alessio Lomuscio},
editor = {Jiman Hong and
Miroslav Bures and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}}},
title = {Repairing misclassifications in neural networks using limited data},
booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, April 25 - 29, 2022},
pages = {1031--1038},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3477314.3507059},
doi = {10.1145/3477314.3507059},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/HenriksenLL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmvc/LiuL21,
author = {Yi{-}Ling Liu and
Alessio Lomuscio},
title = {Robustness Learning via Decision Tree Search Robust Optimisation},
booktitle = {32nd British Machine Vision Conference 2021, {BMVC} 2021, Online,
November 22-25, 2021},
pages = {71},
publisher = {{BMVA} Press},
year = {2021},
url = {https://www.bmvc2021-virtualconference.com/assets/papers/1022.pdf},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmvc/LiuL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmvc/HenriksenHRL21,
author = {Patrick Henriksen and
Kerstin Hammernik and
Daniel Rueckert and
Alessio Lomuscio},
title = {Bias Field Robustness Verification of Large Neural Image Classifiers},
booktitle = {32nd British Machine Vision Conference 2021, {BMVC} 2021, Online,
November 22-25, 2021},
pages = {202},
publisher = {{BMVA} Press},
year = {2021},
url = {https://www.bmvc2021-virtualconference.com/assets/papers/1291.pdf},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmvc/HenriksenHRL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KouvarosKLLMOZ21,
author = {Panagiotis Kouvaros and
Trent Kyono and
Francesco Leofante and
Alessio Lomuscio and
Dragos D. Margineantu and
Denis Osipychev and
Yang Zheng},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Formal Analysis of Neural Network-Based Systems in the Aircraft Domain},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {730--740},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_41},
doi = {10.1007/978-3-030-90870-6\_41},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/KouvarosKLLMOZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliKLM21,
author = {Francesco Belardinelli and
Sophia Knight and
Alessio Lomuscio and
Bastien Maubert and
Aniello Murano and
Sasha Rubin},
editor = {Zhi{-}Hua Zhou},
title = {Reasoning About Agents That May Know Other Agents' Strategies},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1787--1793},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/246},
doi = {10.24963/IJCAI.2021/246},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliKLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BattenKLZ21,
author = {Ben Batten and
Panagiotis Kouvaros and
Alessio Lomuscio and
Yang Zheng},
editor = {Zhi{-}Hua Zhou},
title = {Efficient Neural Network Verification via Layer-based Semidefinite
Relaxations and Linear Cuts},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {2184--2190},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/301},
doi = {10.24963/IJCAI.2021/301},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BattenKLZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HenriksenL21,
author = {Patrick Henriksen and
Alessio Lomuscio},
editor = {Zhi{-}Hua Zhou},
title = {{DEEPSPLIT:} An Efficient Splitting Method for Neural Network Verification
via Indirect Effect Analysis},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {2549--2555},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/351},
doi = {10.24963/IJCAI.2021/351},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HenriksenL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KouvarosL21,
author = {Panagiotis Kouvaros and
Alessio Lomuscio},
editor = {Zhi{-}Hua Zhou},
title = {Towards Scalable Complete Verification of Relu Neural Networks via
Dependency-based Branching},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {2643--2650},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/364},
doi = {10.24963/IJCAI.2021/364},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KouvarosL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AminofGLMR21,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Synthesizing Best-effort Strategies under Multiple Environment Specifications},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {42--51},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/5},
doi = {10.24963/KR.2021/5},
timestamp = {Wed, 03 Nov 2021 12:46:57 +0100},
biburl = {https://dblp.org/rec/conf/kr/AminofGLMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HashemiKL21,
author = {Vahid Hashemi and
Panagiotis Kouvaros and
Alessio Lomuscio},
editor = {Radu Calinescu and
Corina S. Pasareanu},
title = {{OSIP:} Tightened Bound Propagation for the Verification of ReLU Neural
Networks},
booktitle = {Software Engineering and Formal Methods - 19th International Conference,
{SEFM} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13085},
pages = {463--480},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92124-8\_26},
doi = {10.1007/978-3-030-92124-8\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/HashemiKL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2021,
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/},
doi = {10.5555/3463952},
isbn = {978-1-4503-8307-3},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BelardinelliLMR20,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
title = {Verification of multi-agent systems with public actions against strategy
logic},
journal = {Artif. Intell.},
volume = {285},
pages = {103302},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2020.103302},
doi = {10.1016/J.ARTINT.2020.103302},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BelardinelliLMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BotoevaKKLM20,
author = {Elena Botoeva and
Panagiotis Kouvaros and
Jan Kronqvist and
Alessio Lomuscio and
Ruth Misener},
title = {Efficient Verification of ReLU-Based Neural Networks via Dependency
Analysis},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {3291--3299},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i04.5729},
doi = {10.1609/AAAI.V34I04.5729},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BotoevaKKLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BelardinelliLY20,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Emily Yu},
title = {Model Checking Temporal Epistemic Logic under Bounded Recall},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {7071--7078},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i05.6193},
doi = {10.1609/AAAI.V34I05.6193},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BelardinelliLY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AkintundeBKL20,
author = {Michael E. Akintunde and
Elena Botoeva and
Panagiotis Kouvaros and
Alessio Lomuscio},
editor = {Amal El Fallah Seghrouchni and
Gita Sukthankar and
Bo An and
Neil Yorke{-}Smith},
title = {Formal Verification of Neural Agents in Non-deterministic Environments},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
2020},
pages = {25--33},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2020},
url = {https://dl.acm.org/doi/10.5555/3398761.3398770},
doi = {10.5555/3398761.3398770},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AkintundeBKL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioP20,
author = {Alessio Lomuscio and
Edoardo Pirovano},
editor = {Amal El Fallah Seghrouchni and
Gita Sukthankar and
Bo An and
Neil Yorke{-}Smith},
title = {Parameterised Verification of Strategic Properties in Probabilistic
Multi-Agent Systems},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
2020},
pages = {762--770},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2020},
url = {https://dl.acm.org/doi/10.5555/3398761.3398852},
doi = {10.5555/3398761.3398852},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/LomuscioP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HenriksenL20,
author = {Patrick Henriksen and
Alessio R. Lomuscio},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Efficient Neural Network Verification via Adaptive Refinement and
Adversarial Search},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {2513--2520},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200385},
doi = {10.3233/FAIA200385},
timestamp = {Fri, 09 Apr 2021 18:50:05 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HenriksenL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LomuscioP20,
author = {Alessio Lomuscio and
Edoardo Pirovano},
editor = {Christian Bessiere},
title = {Verifying Fault-Tolerance in Probabilistic Swarm Systems},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {325--331},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/46},
doi = {10.24963/IJCAI.2020/46},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LomuscioP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AminofGLMR20,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Christian Bessiere},
title = {Synthesizing strategies under expected and exceptional environment
behaviors},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1674--1680},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/232},
doi = {10.24963/IJCAI.2020/232},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AminofGLMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/LiuL20,
author = {Yi{-}Ling Liu and
Alessio Lomuscio},
title = {MRobust: {A} Method for Robustness against Adversarial Attacks on
Deep Neural Networks},
booktitle = {2020 International Joint Conference on Neural Networks, {IJCNN} 2020,
Glasgow, United Kingdom, July 19-24, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IJCNN48605.2020.9207354},
doi = {10.1109/IJCNN48605.2020.9207354},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/LiuL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AkintundeBKL20,
author = {Michael E. Akintunde and
Elena Botoeva and
Panagiotis Kouvaros and
Alessio Lomuscio},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {22--32},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/3},
doi = {10.24963/KR.2020/3},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AkintundeBKL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BaldiniBCCGGHHK19,
author = {Ioana Baldini and
Clark W. Barrett and
Antonio Chella and
Carlos Cinelli and
David Gamez and
Leilani H. Gilpin and
Knut Hinkelmann and
Dylan Holmes and
Takashi Kido and
Murat Kocaoglu and
William F. Lawless and
Alessio Lomuscio and
Jamie C. Macbeth and
Andreas Martin and
Ranjeev Mittu and
Evan Patterson and
Donald Sofge and
Prasad Tadepalli and
Keiki Takadama and
Shomir Wilson},
title = {Reports of the {AAAI} 2019 Spring Symposium Series},
journal = {{AI} Mag.},
volume = {40},
number = {3},
pages = {59--66},
year = {2019},
url = {https://doi.org/10.1609/aimag.v40i3.5181},
doi = {10.1609/AIMAG.V40I3.5181},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/BaldiniBCCGGHHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AkintundeKLP19,
author = {Michael E. Akintunde and
Andreea Kevorchian and
Alessio Lomuscio and
Edoardo Pirovano},
title = {Verification of RNN-Based Neural Agent-Environment Systems},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {6006--6013},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33016006},
doi = {10.1609/AAAI.V33I01.33016006},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AkintundeKLP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BelardinelliLM19,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Vadim Malvone},
title = {An Abstraction-Based Method for Verifying Strategic Properties in
Multi-Agent Systems with Imperfect Information},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {6030--6037},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33016030},
doi = {10.1609/AAAI.V33I01.33016030},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/BelardinelliLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioP19,
author = {Alessio Lomuscio and
Edoardo Pirovano},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {A Counter Abstraction Technique for the Verification of Probabilistic
Swarm Systems},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {161--169},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331689},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/LomuscioP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KouvarosLPP19,
author = {Panagiotis Kouvaros and
Alessio Lomuscio and
Edoardo Pirovano and
Hashan Punchihewa},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {Formal Verification of Open Multi-Agent Systems},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {179--187},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331691},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/KouvarosLPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/LiuL19,
author = {Yi{-}Ling Liu and
Alessio Lomuscio},
title = {An MCTS-based Adversarial Training Method for Image Recognition},
booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2019 Budapest,
Hungary, July 14-19, 2019},
pages = {1--8},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IJCNN.2019.8852337},
doi = {10.1109/IJCNN.2019.8852337},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/LiuL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/BelardinelliLMR19,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Matteo Baldoni and
Mehdi Dastani and
Beishui Liao and
Yuko Sakurai and
Rym Zalila{-}Wenkstern},
title = {Imperfect Information in Alternating-Time Temporal Logic on Finite
Traces},
booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd
International Conference, Turin, Italy, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11873},
pages = {469--477},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33792-6\_31},
doi = {10.1007/978-3-030-33792-6\_31},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/BelardinelliLMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GrandiLL18,
author = {Fabio Grandi and
Martin Lange and
Alessio Lomuscio},
title = {22nd International Symposium on Temporal Representation and Reasoning
{(TIME} 2015)},
journal = {Inf. Comput.},
volume = {259},
number = {3},
pages = {303--304},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2017.08.006},
doi = {10.1016/J.IC.2017.08.006},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/GrandiLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CermakLMM18,
author = {Petr Cerm{\'{a}}k and
Alessio Lomuscio and
Fabio Mogavero and
Aniello Murano},
title = {Practical verification of multi-agent systems against Slk specifications},
journal = {Inf. Comput.},
volume = {261},
pages = {588--614},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2017.09.011},
doi = {10.1016/J.IC.2017.09.011},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CermakLMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LomuscioV18,
author = {Alessio R. Lomuscio and
Moshe Y. Vardi},
title = {4th International Workshop on Strategic Reasoning {(SR} 2016)},
journal = {Inf. Comput.},
volume = {261},
pages = {615},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.02.020},
doi = {10.1016/J.IC.2018.02.020},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LomuscioV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KongL18,
author = {Jeremy Kong and
Alessio Lomuscio},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Model Checking Multi-Agent Systems against {LDLK} Specifications on
Finite Traces},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {166--174},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3237414},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/KongL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BelardinelliLMR18,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Decidable Verification of Multi-agent Systems with Bounded Private
Actions},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1865--1867},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3238005},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BelardinelliLMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliLMR18,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Alternating-time Temporal Logic on Finite Traces},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {77--83},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/11},
doi = {10.24963/IJCAI.2018/11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliLMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KouvarosLP18,
author = {Panagiotis Kouvaros and
Alessio Lomuscio and
Edoardo Pirovano},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent
Systems},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {324--330},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/45},
doi = {10.24963/IJCAI.2018/45},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KouvarosLP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LomuscioP18,
author = {Alessio Lomuscio and
Edoardo Pirovano},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Verifying Emergence of Bounded Time Properties in Probabilistic Swarm
Systems},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {403--409},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/56},
doi = {10.24963/IJCAI.2018/56},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LomuscioP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AkitundeLMP18,
author = {Michael Akintunde and
Alessio Lomuscio and
Lalit Maganti and
Edoardo Pirovano},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Reachability Analysis for Neural Agent-Environment Systems},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {184--193},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/17991},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/AkitundeLMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelardinelliLM18,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Vadim Malvone},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Approximating Perfect Recall When Model Checking Strategic Abilities},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {435--444},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18010},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BelardinelliLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-11373,
author = {Panagiotis Kouvaros and
Alessio Lomuscio},
title = {Formal Verification of CNN-based Perception Systems},
journal = {CoRR},
volume = {abs/1811.11373},
year = {2018},
url = {http://arxiv.org/abs/1811.11373},
eprinttype = {arXiv},
eprint = {1811.11373},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-11373.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LomuscioQR17,
author = {Alessio Lomuscio and
Hongyang Qu and
Franco Raimondi},
title = {{MCMAS:} an open-source model checker for the verification of multi-agent
systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {1},
pages = {9--30},
year = {2017},
url = {https://doi.org/10.1007/s10009-015-0378-x},
doi = {10.1007/S10009-015-0378-X},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/LomuscioQR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KouvarosL17,
author = {Panagiotis Kouvaros and
Alessio Lomuscio},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Parameterised Verification of Infinite State Multi-Agent Systems via
Predicate Abstraction},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {3013--3020},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.10710},
doi = {10.1609/AAAI.V31I1.10710},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KouvarosL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KongL17,
author = {Jeremy Kong and
Alessio Lomuscio},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {114--122},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091147},
timestamp = {Wed, 27 Sep 2017 07:24:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/KongL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BelardinelliL17,
author = {Francesco Belardinelli and
Alessio Lomuscio},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Agent-based Abstractions for Verifying Alternating-time Temporal Logic
with Imperfect Information},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {1259--1267},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091300},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BelardinelliL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BelardinelliLMR17,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Verification of Multi-agent Systems with Imperfect Information and
Public Actions},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {1268--1276},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091301},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BelardinelliLMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliLMR17,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Carles Sierra},
title = {Verification of Broadcasting Multi-Agent Systems against an Epistemic
Strategy Logic},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {91--97},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/14},
doi = {10.24963/IJCAI.2017/14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliLMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliKL17,
author = {Francesco Belardinelli and
Panagiotis Kouvaros and
Alessio Lomuscio},
editor = {Carles Sierra},
title = {Parameterised Verification of Data-aware Multi-Agent Systems},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {98--104},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/15},
doi = {10.24963/IJCAI.2017/15},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KouvarosL17,
author = {Panagiotis Kouvaros and
Alessio Lomuscio},
editor = {Carles Sierra},
title = {Verifying Fault-tolerance in Parameterised Multi-Agent Systems},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {288--294},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/41},
doi = {10.24963/IJCAI.2017/41},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KouvarosL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KongL17,
author = {Jeremy Kong and
Alessio Lomuscio},
editor = {Carles Sierra},
title = {Model Checking Multi-Agent Systems against {LDLK} Specifications},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {1138--1144},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/158},
doi = {10.24963/IJCAI.2017/158},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KongL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/HasaniHBLG17,
author = {Ramin M. Hasani and
Dieter Haerle and
Christian F. Baumgartner and
Alessio R. Lomuscio and
Radu Grosu},
title = {Compositional neural-network modeling of complex analog circuits},
booktitle = {2017 International Joint Conference on Neural Networks, {IJCNN} 2017,
Anchorage, AK, USA, May 14-19, 2017},
pages = {2235--2242},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IJCNN.2017.7966126},
doi = {10.1109/IJCNN.2017.7966126},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/HasaniHBLG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LomuscioM17,
author = {Alessio Lomuscio and
Lalit Maganti},
title = {An approach to reachability analysis for feed-forward ReLU neural
networks},
journal = {CoRR},
volume = {abs/1706.07351},
year = {2017},
url = {http://arxiv.org/abs/1706.07351},
eprinttype = {arXiv},
eprint = {1706.07351},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LomuscioM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KouvarosL16,
author = {Panagiotis Kouvaros and
Alessio Lomuscio},
title = {Parameterised verification for multi-agent systems},
journal = {Artif. Intell.},
volume = {234},
pages = {152--189},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2016.01.008},
doi = {10.1016/J.ARTINT.2016.01.008},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/KouvarosL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioM16,
author = {Alessio Lomuscio and
Jakub Michaliszyn},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Verification of Multi-Agent Systems via Predicate Abstraction against
{ATLK} Specifications},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {662--670},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937022},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/LomuscioM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KouvarosL16,
author = {Panagiotis Kouvaros and
Alessio Lomuscio},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Formal Verification of Opinion Formation in Swarms},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {1200--1208},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937099},
timestamp = {Fri, 20 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/KouvarosL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BoureanuKL16,
author = {Ioana Boureanu and
Panagiotis Kouvaros and
Alessio Lomuscio},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Verifying Security Properties in Unbounded Multiagent Systems},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {1209--1217},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937100},
timestamp = {Fri, 20 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/BoureanuKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BelardinelliLM16,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Jakub Michaliszyn},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {286--294},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-286},
doi = {10.3233/978-1-61499-672-9-286},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BelardinelliLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BelardinelliL16,
author = {Francesco Belardinelli and
Alessio Lomuscio},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Abstraction-Based Verification of Infinite-State Reactive Modules},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {725--733},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-725},
doi = {10.3233/978-1-61499-672-9-725},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BelardinelliL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KouvarosL16,
author = {Panagiotis Kouvaros and
Alessio Lomuscio},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Parameterised Model Checking for Alternating-Time Temporal Logic},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1230--1238},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1230},
doi = {10.3233/978-1-61499-672-9-1230},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KouvarosL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BelardinelliL16,
author = {Francesco Belardinelli and
Alessio Lomuscio},
editor = {Loizos Michael and
Antonis C. Kakas},
title = {A Three-Value Abstraction Technique for the Verification of Epistemic
Properties in Multi-agent Systems},
booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10021},
pages = {112--126},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48758-8\_8},
doi = {10.1007/978-3-319-48758-8\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BelardinelliL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LomuscioM16,
author = {Alessio Lomuscio and
Jakub Michaliszyn},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Model Checking Multi-Agent Systems against Epistemic {HS} Specifications
with Regular Expressions},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {298--308},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12823},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/LomuscioM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/Lomuscio16,
author = {Alessio Lomuscio},
editor = {Phillip James and
Markus Roggenbach},
title = {Advances in Verification of Multi-agent Systems},
booktitle = {Recent Trends in Algebraic Development Techniques - 23rd {IFIP} {WG}
1.3 International Workshop, {WADT} 2016, Gregynog, UK, September 21-24,
2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10644},
pages = {3--4},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-72044-9\_1},
doi = {10.1007/978-3-319-72044-9\_1},
timestamp = {Wed, 19 May 2021 08:32:29 +0200},
biburl = {https://dblp.org/rec/conf/wadt/Lomuscio16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/LomuscioV16,
editor = {Alessio Lomuscio and
Moshe Y. Vardi},
title = {Proceedings of the 4th International Workshop on Strategic Reasoning,
{SR} 2016, New York City, USA, 10th July 2016},
series = {{EPTCS}},
volume = {218},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.218},
doi = {10.4204/EPTCS.218},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LomuscioV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CermakLM15,
author = {Petr Cerm{\'{a}}k and
Alessio Lomuscio and
Aniello Murano},
editor = {Blai Bonet and
Sven Koenig},
title = {Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy
Logic Specifications},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {2038--2044},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9444},
doi = {10.1609/AAAI.V29I1.9444},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CermakLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KouvarosL15,
author = {Panagiotis Kouvaros and
Alessio Lomuscio},
editor = {Blai Bonet and
Sven Koenig},
title = {A Counter Abstraction Technique for the Verification of Robot Swarms},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {2081--2088},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9442},
doi = {10.1609/AAAI.V29I1.9442},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KouvarosL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioM15,
author = {Alessio Lomuscio and
Jakub Michaliszyn},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {189--198},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2772907},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/LomuscioM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioP15,
author = {Alessio Lomuscio and
Hugo Paquet},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {Verification of Multi-Agent Systems via SDD-based Model Checking},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {1713--1714},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2773399},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/LomuscioP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/GonzalezGL15,
author = {Pavel Gonzalez and
Andreas Griesmayer and
Alessio Lomuscio},
editor = {Alistair Barros and
Daniela Grigori and
Nanjangud C. Narendra and
Hoa Khanh Dam},
title = {Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction},
booktitle = {Service-Oriented Computing - 13th International Conference, {ICSOC}
2015, Goa, India, November 16-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9435},
pages = {253--268},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48616-0\_16},
doi = {10.1007/978-3-662-48616-0\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/GonzalezGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliGL15,
author = {Francesco Belardinelli and
Davide Grossi and
Alessio Lomuscio},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Finite Abstractions for the Verification of Epistemic Properties in
Open Multi-Agent Systems},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {854--860},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/125},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KouvarosL15,
author = {Panagiotis Kouvaros and
Alessio Lomuscio},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Verifying Emergent Properties of Swarms},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {1083--1089},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/157},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KouvarosL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2015,
editor = {Fabio Grandi and
Martin Lange and
Alessio Lomuscio},
title = {22nd International Symposium on Temporal Representation and Reasoning,
{TIME} 2015, Kassel, Germany, September 23-25, 2015},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://ieeexplore.ieee.org/xpl/conhome/7371540/proceeding},
isbn = {978-1-4673-9317-1},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LomuscioM15,
author = {Alessio Lomuscio and
Jakub Michaliszyn},
title = {Model Checking Epistemic Halpern-Shoham Logic Extended with Regular
Expressions},
journal = {CoRR},
volume = {abs/1509.00608},
year = {2015},
url = {http://arxiv.org/abs/1509.00608},
eprinttype = {arXiv},
eprint = {1509.00608},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LomuscioM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BelardinelliLP14,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Fabio Patrizi},
title = {Verification of Agent-Based Artifact Systems},
journal = {J. Artif. Intell. Res.},
volume = {51},
pages = {333--376},
year = {2014},
url = {https://doi.org/10.1613/jair.4424},
doi = {10.1613/JAIR.4424},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/BelardinelliLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CermakLMM14,
author = {Petr Cerm{\'{a}}k and
Alessio Lomuscio and
Fabio Mogavero and
Aniello Murano},
editor = {Armin Biere and
Roderick Bloem},
title = {{MCMAS-SLK:} {A} Model Checker for the Verification of Strategy Logic
Specifications},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {525--532},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_34},
doi = {10.1007/978-3-319-08867-9\_34},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/CermakLMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LomuscioM14,
author = {Alessio R. Lomuscio and
Jakub Michaliszyn},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Decidability of model checking multi-agent systems against a class
of {EHS} specifications},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {543--548},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-543},
doi = {10.3233/978-1-61499-419-0-543},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LomuscioM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LomuscioM14,
author = {Alessio Lomuscio and
Jakub Michaliszyn},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {An Abstraction Technique for the Verification of Multi-Agent Systems
Against {ATL} Specifications},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8003},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/LomuscioM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LomuscioM14a,
author = {Alessio Lomuscio and
Jakub Michaliszyn},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Model Checking Unbounded Artifact-Centric Systems},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7992},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LomuscioM14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LomuscioMOR14,
author = {Alessio Lomuscio and
Lawrence S. Moss and
Ekaterina Ovchinnikova and
Riccardo Rosati},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Tutorials},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8703},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LomuscioMOR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Lomuscio14,
author = {Alessio R. Lomuscio},
editor = {Amedeo Cesta and
Carlo Combi and
Fran{\c{c}}ois Laroussinie},
title = {Advances in Symbolic Model Checking for Multi-agent Systems},
booktitle = {21st International Symposium on Temporal Representation and Reasoning,
{TIME} 2014, Verona, Italy, September 8-10, 2014},
pages = {4},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TIME.2014.23},
doi = {10.1109/TIME.2014.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Lomuscio14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2014,
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2615731},
isbn = {978-1-4503-2738-1},
timestamp = {Thu, 25 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2013w,
editor = {Alessio Lomuscio and
Surya Nepal and
Fabio Patrizi and
Boualem Benatallah and
Ivona Brandic},
title = {Service-Oriented Computing - {ICSOC} 2013 Workshops - CCSA, CSB, PASCEB,
SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8377},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06859-6},
doi = {10.1007/978-3-319-06859-6},
isbn = {978-3-319-06858-9},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/2013w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BelardinelliL14,
author = {Francesco Belardinelli and
Alessio Lomuscio},
title = {Interactions between Knowledge and Time in a First-Order Logic for
Multi-Agent Systems: Completeness Results},
journal = {CoRR},
volume = {abs/1401.5849},
year = {2014},
url = {http://arxiv.org/abs/1401.5849},
eprinttype = {arXiv},
eprint = {1401.5849},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BelardinelliL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CermakLMM14,
author = {Petr Cerm{\'{a}}k and
Alessio Lomuscio and
Fabio Mogavero and
Aniello Murano},
title = {{MCMAS-SLK:} {A} Model Checker for the Verification of Strategy Logic
Specifications},
journal = {CoRR},
volume = {abs/1402.2948},
year = {2014},
url = {http://arxiv.org/abs/1402.2948},
eprinttype = {arXiv},
eprint = {1402.2948},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CermakLMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LomuscioSW013,
author = {Alessio Lomuscio and
Ben Strulo and
Nigel G. Walker and
Peng Wu},
title = {Assume-Guarantee Reasoning with Local Specifications},
journal = {Int. J. Found. Comput. Sci.},
volume = {24},
number = {4},
pages = {419--444},
year = {2013},
url = {https://doi.org/10.1142/S0129054113500123},
doi = {10.1142/S0129054113500123},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/LomuscioSW013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KouvarosL13,
author = {Panagiotis Kouvaros and
Alessio Lomuscio},
editor = {Maria L. Gini and
Onn Shehory and
Takayuki Ito and
Catholijn M. Jonker},
title = {Automatic verification of parameterised multi-agent systems},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '13, Saint Paul, MN, USA, May 6-10, 2013},
pages = {861--868},
publisher = {{IFAAMAS}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2485057},
timestamp = {Thu, 09 Sep 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/atal/KouvarosL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GriesmayerL13,
author = {Andreas Griesmayer and
Alessio Lomuscio},
editor = {Dirk Beyer and
Michele Boreale},
title = {Model Checking Distributed Systems against Temporal-Epistemic Specifications},
booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
International Conference, {FMOODS/FORTE} 2013, Held as Part of the
8th International Federated Conference on Distributed Computing Techniques,
DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7892},
pages = {130--145},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38592-6\_10},
doi = {10.1007/978-3-642-38592-6\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/GriesmayerL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/GonzalezGL13,
author = {Pavel Gonzalez and
Andreas Griesmayer and
Alessio Lomuscio},
editor = {Alessio Lomuscio and
Surya Nepal and
Fabio Patrizi and
Boualem Benatallah and
Ivona Brandic},
title = {Model Checking GSM-Based Multi-Agent Systems},
booktitle = {Service-Oriented Computing - {ICSOC} 2013 Workshops - CCSA, CSB, PASCEB,
SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8377},
pages = {54--68},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-06859-6\_6},
doi = {10.1007/978-3-319-06859-6\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/GonzalezGL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliL13,
author = {Francesco Belardinelli and
Alessio Lomuscio},
editor = {Francesca Rossi},
title = {Decidability of Model Checking Non-Uniform Artifact-Centric Quantified
Interpreted Systems},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {725--731},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6732},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LomuscioM13,
author = {Alessio Lomuscio and
Jakub Michaliszyn},
editor = {Francesca Rossi},
title = {An Epistemic Halpern-Shoham Logic},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {1010--1016},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6632},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LomuscioM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KouvarosL13,
author = {Panagiotis Kouvaros and
Alessio Lomuscio},
editor = {Francesca Rossi},
title = {A Cutoff Technique for the Verification of Parameterised Interpreted
Systems with Parameterised Environments},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {2013--2019},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6919},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/KouvarosL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-2678,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Fabio Patrizi},
title = {Verification of Agent-Based Artifact Systems},
journal = {CoRR},
volume = {abs/1301.2678},
year = {2013},
url = {http://arxiv.org/abs/1301.2678},
eprinttype = {arXiv},
eprint = {1301.2678},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-2678.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-6431,
author = {Panagiotis Kouvaros and
Alessio Lomuscio},
title = {Automatic Verification of Parameterised Interleaved Multi-Agent Systems},
journal = {CoRR},
volume = {abs/1301.6431},
year = {2013},
url = {http://arxiv.org/abs/1301.6431},
eprinttype = {arXiv},
eprint = {1301.6431},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-6431.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/LomuscioPS13,
author = {Alessio Lomuscio and
Sophie Pinchinat and
Holger Schlingloff},
title = {VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl
Seminar 13181)},
journal = {Dagstuhl Reports},
volume = {3},
number = {4},
pages = {151--187},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.4.151},
doi = {10.4230/DAGREP.3.4.151},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/LomuscioPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/LomuscioQS12,
author = {Alessio Lomuscio and
Hongyang Qu and
Monika Solanki},
title = {Towards verifying contract regulated service composition},
journal = {Auton. Agents Multi Agent Syst.},
volume = {24},
number = {3},
pages = {345--373},
year = {2012},
url = {https://doi.org/10.1007/s10458-010-9152-3},
doi = {10.1007/S10458-010-9152-3},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/LomuscioQS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BelardinelliL12,
author = {Francesco Belardinelli and
Alessio Lomuscio},
title = {Interactions between Knowledge and Time in a First-Order Logic for
Multi-Agent Systems: Completeness Results},
journal = {J. Artif. Intell. Res.},
volume = {45},
pages = {1--45},
year = {2012},
url = {https://doi.org/10.1613/jair.3547},
doi = {10.1613/JAIR.3547},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/BelardinelliL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aamas/JonesKPL12,
author = {Andrew V. Jones and
Michal Knapik and
Wojciech Penczek and
Alessio Lomuscio},
editor = {Wiebe van der Hoek and
Lin Padgham and
Vincent Conitzer and
Michael Winikoff},
title = {Group synthesis for parametric temporal-epistemic logic},
booktitle = {International Conference on Autonomous Agents and Multiagent Systems,
{AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
pages = {1107--1114},
publisher = {{IFAAMAS}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2343855},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aamas/JonesKPL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aamas/BoureanuJL12,
author = {Ioana Boureanu and
Andrew V. Jones and
Alessio Lomuscio},
editor = {Wiebe van der Hoek and
Lin Padgham and
Vincent Conitzer and
Michael Winikoff},
title = {Automatic verification of epistemic specifications under convergent
equational theories},
booktitle = {International Conference on Autonomous Agents and Multiagent Systems,
{AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
pages = {1141--1148},
publisher = {{IFAAMAS}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2343860},
timestamp = {Thu, 19 Mar 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aamas/BoureanuJL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BarkerJKKLMMS12,
author = {Steve Barker and
Andrew J. I. Jones and
Antonis C. Kakas and
Robert A. Kowalski and
Alessio Lomuscio and
Rob Miller and
Stephen H. Muggleton and
Giovanni Sartor},
editor = {Alexander Artikis and
Robert Craven and
Nihan Kesim Cicekli and
Babak Sadighi and
Kostas Stathis},
title = {The Scientific Contribution of Marek Sergot},
booktitle = {Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7360},
pages = {4--11},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29414-3\_2},
doi = {10.1007/978-3-642-29414-3\_2},
timestamp = {Sat, 30 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BarkerJKKLMMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LomuscioP12,
author = {Alessio Lomuscio and
Wojciech Penczek},
editor = {Alexander Artikis and
Robert Craven and
Nihan Kesim Cicekli and
Babak Sadighi and
Kostas Stathis},
title = {Symbolic Model Checking for Temporal-Epistemic Logic},
booktitle = {Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7360},
pages = {172--195},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29414-3\_10},
doi = {10.1007/978-3-642-29414-3\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LomuscioP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BelardinelliLP12,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Fabio Patrizi},
editor = {Chengfei Liu and
Heiko Ludwig and
Farouk Toumani and
Qi Yu},
title = {Verification of GSM-Based Artifact-Centric Systems through Finite
Abstraction},
booktitle = {Service-Oriented Computing - 10th International Conference, {ICSOC}
2012, Shanghai, China, November 12-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7636},
pages = {17--31},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34321-6\_2},
doi = {10.1007/978-3-642-34321-6\_2},
timestamp = {Mon, 26 Jun 2023 20:44:14 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BelardinelliLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/GonzalezGL12,
author = {Pavel Gonzalez and
Andreas Griesmayer and
Alessio Lomuscio},
editor = {Carole A. Goble and
Peter P. Chen and
Jia Zhang},
title = {Verifying GSM-Based Business Artifacts},
booktitle = {2012 {IEEE} 19th International Conference on Web Services, Honolulu,
HI, USA, June 24-29, 2012},
pages = {25--32},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICWS.2012.31},
doi = {10.1109/ICWS.2012.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/GonzalezGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelardinelliLP12,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Fabio Patrizi},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {An Abstraction Technique for the Verification of Artifact-Centric
Systems},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4531},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BelardinelliLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FelliGL12,
author = {Paolo Felli and
Giuseppe De Giacomo and
Alessio Lomuscio},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Synthesizing Agent Protocols From {LTL} Specifications Against Multiple
Partially-Observable Environments},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4549},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FelliGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1207-1271,
author = {Francesco Belardinelli and
Pavel Gonzalez and
Alessio Lomuscio},
editor = {Herbert Wiklicky and
Mieke Massink},
title = {Automated Verification of Quantum Protocols using {MCMAS}},
booktitle = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
series = {{EPTCS}},
volume = {85},
pages = {48--62},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.85.4},
doi = {10.4204/EPTCS.85.4},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-1271.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BelardinelliL11,
author = {Francesco Belardinelli and
Alessio Lomuscio},
title = {First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation
of the Monodic Fragment},
journal = {Fundam. Informaticae},
volume = {106},
number = {2-4},
pages = {175--190},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-382},
doi = {10.3233/FI-2011-382},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/BelardinelliL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LomuscioPSS11,
author = {Alessio Lomuscio and
Wojciech Penczek and
Monika Solanki and
Maciej Szreter},
title = {Runtime Monitoring of Contract Regulated Web Services},
journal = {Fundam. Informaticae},
volume = {111},
number = {3},
pages = {339--355},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-566},
doi = {10.3233/FI-2011-566},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/LomuscioPSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BelardinelliJL11,
author = {Francesco Belardinelli and
Andrew V. Jones and
Alessio Lomuscio},
title = {Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata},
journal = {Fundam. Informaticae},
volume = {112},
number = {1},
pages = {19--37},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-576},
doi = {10.3233/FI-2011-576},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/BelardinelliJL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BelardinelliLP11,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Fabio Patrizi},
editor = {Gerti Kappel and
Zakaria Maamar and
Hamid R. Motahari Nezhad},
title = {Verification of Deployed Artifact Systems via Data Abstraction},
booktitle = {Service-Oriented Computing - 9th International Conference, {ICSOC}
2011, Paphos, Cyprus, December 5-8, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7084},
pages = {142--156},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25535-9\_10},
doi = {10.1007/978-3-642-25535-9\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BelardinelliLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliLP11,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Fabio Patrizi},
editor = {Toby Walsh},
title = {A Computationally-Grounded Semantics for Artifact-Centric Systems
and Abstraction Results},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {738--743},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-130},
doi = {10.5591/978-1-57735-516-8/IJCAI11-130},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EzekielLMV11,
author = {Jonathan Ezekiel and
Alessio Lomuscio and
Levente Molnar and
Sandor M. Veres},
editor = {Toby Walsh},
title = {Verifying Fault Tolerance and Self-Diagnosability of an Autonomous
Underwater Vehicle},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {1659--1664},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-279},
doi = {10.5591/978-1-57735-516-8/IJCAI11-279},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EzekielLMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LomuscioPQ10,
author = {Alessio Lomuscio and
Wojciech Penczek and
Hongyang Qu},
title = {Partial Order Reductions for Model Checking Temporal-epistemic Logics
over Interleaved Multi-agent Systems},
journal = {Fundam. Informaticae},
volume = {101},
number = {1-2},
pages = {71--90},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-276},
doi = {10.3233/FI-2010-276},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/LomuscioPQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LomuscioSWW10,
author = {Alessio Lomuscio and
Ben Strulo and
Nigel G. Walker and
Peng Wu},
title = {Model Checking Optimisation Based Congestion Control Algorithms},
journal = {Fundam. Informaticae},
volume = {102},
number = {1},
pages = {77--96},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-298},
doi = {10.3233/FI-2010-298},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/LomuscioSWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioPQ10,
author = {Alessio Lomuscio and
Wojciech Penczek and
Hongyang Qu},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Partial order reductions for model checking temporal epistemic logics
over interleaved multi-agent systems},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {659--666},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838293},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/LomuscioPQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JonesL10,
author = {Andrew V. Jones and
Alessio Lomuscio},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Distributed BDD-based {BMC} for the verification of multi-agent systems},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {675--682},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838295},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/JonesL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BoureanuCL10,
author = {Ioana Boureanu and
Mika Cohen and
Alessio Lomuscio},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Model checking detectability of attacks in multiagent systems},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {691--698},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838297},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BoureanuCL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioSPS10,
author = {Alessio Lomuscio and
Monika Solanki and
Wojciech Penczek and
Maciej Szreter},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Runtime monitoring of contract regulated web services},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {1449--1450},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838426},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/LomuscioSPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KwiatkowskaLQ10,
author = {Marta Z. Kwiatkowska and
Alessio Lomuscio and
Hongyang Qu},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Parallel Model Checking for Temporal Epistemic Logic},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {543--548},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-543},
doi = {10.3233/978-1-60750-606-5-543},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KwiatkowskaLQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CohenL10,
author = {Mika Cohen and
Alessio Lomuscio},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Non-elementary speed up for model checking synchronous perfect recall},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {1077--1078},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-1077},
doi = {10.3233/978-1-60750-606-5-1077},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/CohenL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LomuscioSWW10,
author = {Alessio Lomuscio and
Ben Strulo and
Nigel G. Walker and
Peng Wu},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {Assume-Guarantee Reasoning with Local Specifications},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {204--219},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_15},
doi = {10.1007/978-3-642-16901-4\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/LomuscioSWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/EzekielL10,
author = {Jonathan Ezekiel and
Alessio Lomuscio},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {A Methodology for Automatic Diagnosability Analysis},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {549--564},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_36},
doi = {10.1007/978-3-642-16901-4\_36},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/EzekielL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelardinelliL10,
author = {Francesco Belardinelli and
Alessio Lomuscio},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Interactions between Time and Knowledge in a First-order Logic for
Multi-Agent Systems},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1316},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BelardinelliL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/LomuscioQR10,
author = {Alessio Lomuscio and
Hongyang Qu and
Francesco Russo},
editor = {Ron van der Meyden and
Jan{-}Georg Smaus},
title = {Automatic Data-Abstraction in Model Checking Multi-Agent Systems},
booktitle = {Model Checking and Artificial Intelligence - 6th International Workshop,
MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {6572},
pages = {52--68},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20674-0\_4},
doi = {10.1007/978-3-642-20674-0\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mochart/LomuscioQR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BelardinelliL09,
author = {Francesco Belardinelli and
Alessio Lomuscio},
title = {Quantified epistemic logics for reasoning about knowledge in multi-agent
systems},
journal = {Artif. Intell.},
volume = {173},
number = {9-10},
pages = {982--1013},
year = {2009},
url = {https://doi.org/10.1016/j.artint.2009.02.003},
doi = {10.1016/J.ARTINT.2009.02.003},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BelardinelliL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BoureanuCL09,
author = {Ioana Boureanu and
Mika Cohen and
Alessio Lomuscio},
title = {Automatic verification of temporal-epistemic properties of cryptographic
protocols},
journal = {J. Appl. Non Class. Logics},
volume = {19},
number = {4},
pages = {463--487},
year = {2009},
url = {https://doi.org/10.3166/jancl.19.463-487},
doi = {10.3166/JANCL.19.463-487},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jancl/BoureanuCL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/LomuscioS09,
author = {Alessio Lomuscio and
Monika Solanki},
title = {Mapping {OWL-S} Processes to Multi Agent Systems: {A} Verification
Oriented Approach},
booktitle = {23rd International Conference on Advanced Information Networking and
Applications, {AINA} 2009, Workshops Proceedings, Bradford, United
Kingdom, May 26-29, 2009},
pages = {488--493},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WAINA.2009.52},
doi = {10.1109/WAINA.2009.52},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/LomuscioS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/EzekielL09,
author = {Jonathan Ezekiel and
Alessio Lomuscio},
editor = {Carles Sierra and
Cristiano Castelfranchi and
Keith S. Decker and
Jaime Sim{\~{a}}o Sichman},
title = {Combining fault injection and model checking to verify fault tolerance
in multi-agent systems},
booktitle = {8th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2009), Budapest, Hungary, May 10-15, 2009, Volume
1},
pages = {113--120},
publisher = {{IFAAMAS}},
year = {2009},
url = {https://dl.acm.org/citation.cfm?id=1558028},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/EzekielL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CohenDLR09,
author = {Mika Cohen and
Mads Dam and
Alessio Lomuscio and
Francesco Russo},
editor = {Carles Sierra and
Cristiano Castelfranchi and
Keith S. Decker and
Jaime Sim{\~{a}}o Sichman},
title = {Abstraction in model checking multi-agent systems},
booktitle = {8th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2009), Budapest, Hungary, May 10-15, 2009, Volume
2},
pages = {945--952},
publisher = {{IFAAMAS}},
year = {2009},
url = {https://dl.acm.org/citation.cfm?id=1558144},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/CohenDLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CohenDLQ09,
author = {Mika Cohen and
Mads Dam and
Alessio Lomuscio and
Hongyang Qu},
editor = {Zhiming Liu and
Anders P. Ravn},
title = {A Data Symmetry Reduction Technique for Temporal-epistemic Logic},
booktitle = {Automated Technology for Verification and Analysis, 7th International
Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5799},
pages = {69--83},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04761-9\_6},
doi = {10.1007/978-3-642-04761-9\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/CohenDLQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LomuscioQR09,
author = {Alessio Lomuscio and
Hongyang Qu and
Franco Raimondi},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {{MCMAS:} {A} Model Checker for the Verification of Multi-Agent Systems},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {682--688},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_55},
doi = {10.1007/978-3-642-02658-4\_55},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LomuscioQR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/LomuscioS09,
author = {Alessio Lomuscio and
Monika Solanki},
editor = {Lora Aroyo and
Paolo Traverso and
Fabio Ciravegna and
Philipp Cimiano and
Tom Heath and
Eero Hyv{\"{o}}nen and
Riichiro Mizoguchi and
Eyal Oren and
Marta Sabou and
Elena Simperl},
title = {Towards an Agent Based Approach for Verification of {OWL-S} Process
Models},
booktitle = {The Semantic Web: Research and Applications, 6th European Semantic
Web Conference, {ESWC} 2009, Heraklion, Crete, Greece, May 31-June
4, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5554},
pages = {578--592},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02121-3\_43},
doi = {10.1007/978-3-642-02121-3\_43},
timestamp = {Fri, 23 Jun 2023 11:56:12 +0200},
biburl = {https://dblp.org/rec/conf/esws/LomuscioS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CohenDLQ09,
author = {Mika Cohen and
Mads Dam and
Alessio Lomuscio and
Hongyang Qu},
editor = {Craig Boutilier},
title = {A Symmetry Reduction Technique for Model Checking Temporal-Epistemic
Logic},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {721--726},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/125.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CohenDLQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/EzekielL09,
author = {Jonathan Ezekiel and
Alessio Lomuscio},
editor = {Dang Van Hung and
Padmanabhan Krishnan},
title = {An Automated Approach to Verifying Diagnosability in Multi-agent Systems},
booktitle = {Seventh {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
pages = {51--60},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEFM.2009.30},
doi = {10.1109/SEFM.2009.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/EzekielL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BelardinelliL09,
author = {Francesco Belardinelli and
Alessio Lomuscio},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation
of the Monodic Fragment},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {140--154},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_12},
doi = {10.1007/978-3-642-02261-6\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BelardinelliL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LomuscioP08,
author = {Alessio Lomuscio and
Wojciech Penczek},
title = {{LDYIS:} a Framework for Model Checking Security Protocols},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {359--375},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-25},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LomuscioP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioQS08,
author = {Alessio Lomuscio and
Hongyang Qu and
Monika Solanki},
editor = {Lin Padgham and
David C. Parkes and
J{\"{o}}rg P. M{\"{u}}ller and
Simon Parsons},
title = {Towards verifying compliance in agent-based web service compositions},
booktitle = {7th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2008), Estoril, Portugal, May 12-16, 2008, Volume
1},
pages = {265--272},
publisher = {{IFAAMAS}},
year = {2008},
url = {https://dl.acm.org/citation.cfm?id=1402424},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/LomuscioQS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/LomuscioQS08,
author = {Alessio Lomuscio and
Hongyang Qu and
Monika Solanki},
title = {Towards Verifying Contract Regulated Service Composition},
booktitle = {2008 {IEEE} International Conference on Web Services {(ICWS} 2008),
September 23-26, 2008, Beijing, China},
pages = {254--261},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICWS.2008.115},
doi = {10.1109/ICWS.2008.115},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/LomuscioQS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelardinelliL08,
author = {Francesco Belardinelli and
Alessio Lomuscio},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {A Complete First-Order Logic of Knowledge and Time},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {705--714},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-069.php},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BelardinelliL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/LomuscioPQ08,
author = {Alessio Lomuscio and
Wojciech Penczek and
Hongyang Qu},
editor = {Doron A. Peled and
Michael J. Wooldridge},
title = {Towards Partial Order Reduction for Model Checking Temporal Epistemic
Logic},
booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop,
MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5348},
pages = {106--121},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00431-5\_7},
doi = {10.1007/978-3-642-00431-5\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mochart/LomuscioPQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LomuscioPW07,
author = {Alessio Lomuscio and
Wojciech Penczek and
Bozena Wozna},
title = {Bounded model checking for knowledge and real time},
journal = {Artif. Intell.},
volume = {171},
number = {16-17},
pages = {1011--1038},
year = {2007},
url = {https://doi.org/10.1016/j.artint.2007.05.005},
doi = {10.1016/J.ARTINT.2007.05.005},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/LomuscioPW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LomuscioRW07,
author = {Alessio Lomuscio and
Franco Raimondi and
Bozena Wozna},
title = {Verification of the {TESLA} protocol in {MCMAS-X}},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {473--486},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-16},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LomuscioRW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/RaimondiL07,
author = {Franco Raimondi and
Alessio Lomuscio},
title = {Automatic verification of multi-agent systems by model checking via
ordered binary decision diagrams},
journal = {J. Appl. Log.},
volume = {5},
number = {2},
pages = {235--251},
year = {2007},
url = {https://doi.org/10.1016/j.jal.2005.12.010},
doi = {10.1016/J.JAL.2005.12.010},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/RaimondiL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/LomuscioP07,
author = {Alessio Lomuscio and
Wojciech Penczek},
title = {Symbolic model checking for temporal-epistemic logics},
journal = {{SIGACT} News},
volume = {38},
number = {3},
pages = {77--99},
year = {2007},
url = {https://doi.org/10.1145/1324215.1324231},
doi = {10.1145/1324215.1324231},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/LomuscioP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BelardinelliL07,
author = {Francesco Belardinelli and
Alessio Lomuscio},
editor = {Edmund H. Durfee and
Makoto Yokoo and
Michael N. Huhns and
Onn Shehory},
title = {A quantified epistemic logic for reasoning about multiagent systems},
booktitle = {6th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2007), Honolulu, Hawaii, USA, May 14-18, 2007},
pages = {87},
publisher = {{IFAAMAS}},
year = {2007},
url = {https://doi.org/10.1145/1329125.1329231},
doi = {10.1145/1329125.1329231},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/BelardinelliL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioW07,
author = {Alessio Lomuscio and
Bozena Wozna},
editor = {Edmund H. Durfee and
Makoto Yokoo and
Michael N. Huhns and
Onn Shehory},
title = {A temporal epistemic logic with a reset operation},
booktitle = {6th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2007), Honolulu, Hawaii, USA, May 14-18, 2007},
pages = {145},
publisher = {{IFAAMAS}},
year = {2007},
url = {https://doi.org/10.1145/1329125.1329302},
doi = {10.1145/1329125.1329302},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/LomuscioW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/BelardinelliL07,
author = {Francesco Belardinelli and
Alessio Lomuscio},
editor = {Fariba Sadri and
Ken Satoh},
title = {A Complete Quantified Epistemic Logic for Reasoning about Message
Passing Systems},
booktitle = {Computational Logic in Multi-Agent Systems, 8th International Workshop,
{CLIMA} VIII, Porto, Portugal, September 10-11, 2007. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5056},
pages = {248--267},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88833-8\_14},
doi = {10.1007/978-3-540-88833-8\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/BelardinelliL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/LomuscioQSS07,
author = {Alessio Lomuscio and
Hongyang Qu and
Marek J. Sergot and
Monika Solanki},
editor = {Bernd J. Kr{\"{a}}mer and
Kwei{-}Jay Lin and
Priya Narasimhan},
title = {Verifying Temporal and Epistemic Properties of Web Service Compositions},
booktitle = {Service-Oriented Computing - {ICSOC} 2007, Fifth International Conference,
Vienna, Austria, September 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4749},
pages = {456--461},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74974-5\_43},
doi = {10.1007/978-3-540-74974-5\_43},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/LomuscioQSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LomuscioPR07,
author = {Alessio Lomuscio and
Charles Pecheur and
Franco Raimondi},
editor = {Manuela M. Veloso},
title = {Automatic Verification of Knowledge and Time with NuSMV},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {1384--1389},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/223.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LomuscioPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mochart/2006,
editor = {Stefan Edelkamp and
Alessio Lomuscio},
title = {Model Checking and Artificial Intelligence, 4th Workshop, MoChArt
IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4428},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74128-2},
doi = {10.1007/978-3-540-74128-2},
isbn = {978-3-540-74127-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mochart/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0709-0446,
author = {Alessio Lomuscio and
Wojciech Penczek},
title = {Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics},
journal = {CoRR},
volume = {abs/0709.0446},
year = {2007},
url = {http://arxiv.org/abs/0709.0446},
eprinttype = {arXiv},
eprint = {0709.0446},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0709-0446.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KacprzakLNPRS06,
author = {Magdalena Kacprzak and
Alessio Lomuscio and
Artur Niewiadomski and
Wojciech Penczek and
Franco Raimondi and
Maciej Szreter},
title = {Comparing {BDD} and {SAT} Based Techniques for Model Checking Chaum's
Dining Cryptographers Protocol},
journal = {Fundam. Informaticae},
volume = {72},
number = {1-3},
pages = {215--234},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-16},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KacprzakLNPRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioW06,
author = {Alessio Lomuscio and
Bozena Wozna},
editor = {Hideyuki Nakashima and
Michael P. Wellman and
Gerhard Weiss and
Peter Stone},
title = {A complete and decidable security-specialised logic and its application
to the {TESLA} protocol},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
pages = {145--152},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1160633.1160658},
doi = {10.1145/1160633.1160658},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/LomuscioW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioR06,
author = {Alessio Lomuscio and
Franco Raimondi},
editor = {Hideyuki Nakashima and
Michael P. Wellman and
Gerhard Weiss and
Peter Stone},
title = {Model checking knowledge, strategies, and games in multi-agent systems},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
pages = {161--168},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1160633.1160660},
doi = {10.1145/1160633.1160660},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/LomuscioR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HoekLW06,
author = {Wiebe van der Hoek and
Alessio Lomuscio and
Michael J. Wooldridge},
editor = {Hideyuki Nakashima and
Michael P. Wellman and
Gerhard Weiss and
Peter Stone},
title = {On the complexity of practical {ATL} model checking},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
pages = {201--208},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1160633.1160665},
doi = {10.1145/1160633.1160665},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/HoekLW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioR06a,
author = {Alessio Lomuscio and
Franco Raimondi},
editor = {Hideyuki Nakashima and
Michael P. Wellman and
Gerhard Weiss and
Peter Stone},
title = {The complexity of model checking concurrent programs against {CTLK}
specifications},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
pages = {548--550},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1160633.1160733},
doi = {10.1145/1160633.1160733},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/LomuscioR06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/LomuscioR06,
author = {Alessio Lomuscio and
Franco Raimondi},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {The Complexity of Model Checking Concurrent Programs Against {CTLK}
Specifications},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {29--42},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_3},
doi = {10.1007/11961536\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/LomuscioR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/LomuscioW06,
author = {Alessio Lomuscio and
Bozena Wozna},
editor = {Lou Goble and
John{-}Jules Ch. Meyer},
title = {A Complete and Decidable Axiomatisation for Deontic Interpreted Systems},
booktitle = {Deontic Logic and Artificial Normative Systems, 8th International
Workshop on Deontic Logic in Computer Science, {DEON} 2006, Utrecht,
The Netherlands, July 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4048},
pages = {238--254},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11786849\_20},
doi = {10.1007/11786849\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/LomuscioW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/LomuscioWZ06,
author = {Alessio Lomuscio and
Bozena Wozna and
Andrzej Zbrzezny},
editor = {Stefan Edelkamp and
Alessio Lomuscio},
title = {Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences:
Theory and Implementation},
booktitle = {Model Checking and Artificial Intelligence, 4th Workshop, MoChArt
IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4428},
pages = {95--112},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74128-2\_7},
doi = {10.1007/978-3-540-74128-2\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mochart/LomuscioWZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LomuscioR06,
author = {Alessio Lomuscio and
Franco Raimondi},
editor = {Holger Hermanns and
Jens Palsberg},
title = {{MCMAS:} {A} Model Checker for Multi-agent Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
12th International Conference, {TACAS} 2006 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2006,
Vienna, Austria, March 25 - April 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3920},
pages = {450--454},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_31},
doi = {10.1007/11691372\_31},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LomuscioR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lcmas/2005,
editor = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
title = {Proceedings of the Third International Workshop on Logic and Communication
in Multi-Agent Systems, {LCMAS} 2005, Edinburgh, Scotland, UK, August
1, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {4},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/157/issue/4},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcmas/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/LomuscioN05,
author = {Alessio Lomuscio and
Donald Nute},
title = {Editorial},
journal = {J. Appl. Log.},
volume = {3},
number = {3-4},
pages = {369--370},
year = {2005},
url = {https://doi.org/10.1016/j.jal.2005.04.001},
doi = {10.1016/J.JAL.2005.04.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/LomuscioN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/WoznaLP05,
author = {Bozena Wozna and
Alessio Lomuscio and
Wojciech Penczek},
editor = {Frank Dignum and
Virginia Dignum and
Sven Koenig and
Sarit Kraus and
Munindar P. Singh and
Michael J. Wooldridge},
title = {Bounded model checking for knowledge and real time},
booktitle = {4th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands},
pages = {165--172},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1082473.1082498},
doi = {10.1145/1082473.1082498},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/WoznaLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/LomuscioW05,
author = {Alessio Lomuscio and
Bozena Wozna},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {A Combination of Explicit and Deductive Knowledge with Branching Time:
Completeness and Decidability Results},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {188--204},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_12},
doi = {10.1007/11691792\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/LomuscioW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HoekLVW06,
author = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
editor = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
title = {Preface},
booktitle = {Proceedings of the Third International Workshop on Logic and Communication
in Multi-Agent Systems, {LCMAS} 2005, Edinburgh, Scotland, UK, August
1, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {4},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.02.009},
doi = {10.1016/J.ENTCS.2006.02.009},
timestamp = {Fri, 20 Jan 2023 12:26:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HoekLVW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KacprzakLP04,
author = {Magdalena Kacprzak and
Alessio Lomuscio and
Wojciech Penczek},
title = {From Bounded to Unbounded Model Checking for Temporal Epistemic Logic},
journal = {Fundam. Informaticae},
volume = {63},
number = {2-3},
pages = {221--240},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi63-2-3-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KacprzakLP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/LomuscioS04,
author = {Alessio Lomuscio and
Marek J. Sergot},
title = {A formalisation of violation, error recovery, and enforcement in the
bit transmission problem},
journal = {J. Appl. Log.},
volume = {2},
number = {1},
pages = {93--116},
year = {2004},
url = {https://doi.org/10.1016/j.jal.2004.01.005},
doi = {10.1016/J.JAL.2004.01.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/LomuscioS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/RaimondiL04,
author = {Franco Raimondi and
Alessio Lomuscio},
title = {Verification of Multiagent Systems via Ordered Binary Decision Diagrams:
An Algorithm and Its Implementation},
booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
pages = {630--637},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10093},
doi = {10.1109/AAMAS.2004.10093},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/RaimondiL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KacprzakLP04,
author = {Magdalena Kacprzak and
Alessio Lomuscio and
Wojciech Penczek},
title = {Verification of Multiagent Systems via Unbounded Model Checking},
booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
pages = {638--645},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10086},
doi = {10.1109/AAMAS.2004.10086},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/KacprzakLP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/WoznaL04,
author = {Bozena Wozna and
Alessio Lomuscio},
editor = {Jo{\~{a}}o Alexandre Leite and
Paolo Torroni},
title = {A Logic for Knowledge, Correctness, and Real Time},
booktitle = {Computational Logic in Multi-Agent Systems, 5th International Workshop,
{CLIMA} V, Lisbon, Portugal, September 29-30, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3487},
pages = {1--15},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11533092\_1},
doi = {10.1007/11533092\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/WoznaL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/RaimondiL04,
author = {Franco Raimondi and
Alessio Lomuscio},
editor = {Alessio Lomuscio and
Donald Nute},
title = {Automatic Verification of Deontic Properties of Multi-agent Systems},
booktitle = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3065},
pages = {228--242},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25927-5\_15},
doi = {10.1007/978-3-540-25927-5\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/RaimondiL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/RaimondiL04,
author = {Franco Raimondi and
Alessio Lomuscio},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Automatic Verification of Deontic Interpreted Systems by Model Checking
via OBDD's},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {53--57},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/RaimondiL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/KacprzakLLPS04,
author = {Magdalena Kacprzak and
Alessio Lomuscio and
T. Lasica and
Wojciech Penczek and
Maciej Szreter},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Verifying Multi-agent Systems via Unbounded Model Checking},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {189--212},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_13},
doi = {10.1007/978-3-540-30960-4\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/KacprzakLLPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/RaimondiL04,
author = {Franco Raimondi and
Alessio Lomuscio},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Towards Symbolic Model Checking for Multi-agent Systems via OBDD's},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {213--221},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_14},
doi = {10.1007/978-3-540-30960-4\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/RaimondiL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HoekLVW05,
author = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
editor = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
title = {Preface},
booktitle = {Proceedings of the 2nd International Workshop on Logic and Communication
in Multi-Agent Systems, {LCMAS} 2004, Nancy, France, August 16-20,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {126},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.010},
doi = {10.1016/J.ENTCS.2004.11.010},
timestamp = {Wed, 21 Dec 2022 08:42:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HoekLVW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WoznaLP05,
author = {Bozena Wozna and
Alessio Lomuscio and
Wojciech Penczek},
editor = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
title = {Bounded Model Checking for Deontic Interpreted Systems},
booktitle = {Proceedings of the 2nd International Workshop on Logic and Communication
in Multi-Agent Systems, {LCMAS} 2004, Nancy, France, August 16-20,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {126},
pages = {93--114},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.015},
doi = {10.1016/J.ENTCS.2004.11.015},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WoznaLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deon/2004,
editor = {Alessio Lomuscio and
Donald Nute},
title = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3065},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b98159},
doi = {10.1007/B98159},
isbn = {3-540-22111-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lcmas/2003,
editor = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
title = {1st International Workshop on Logic and Communication in Multi-Agent
Systems, {LCMAS} 2003, Eindhoven, The Netherlands, June 29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {2},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/85/issue/2},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcmas/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lcmas/2004,
editor = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
title = {Proceedings of the 2nd International Workshop on Logic and Communication
in Multi-Agent Systems, {LCMAS} 2004, Nancy, France, August 16-20,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {126},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/126/suppl/C},
timestamp = {Wed, 21 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcmas/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PenczekL03,
author = {Wojciech Penczek and
Alessio Lomuscio},
title = {Verifying Epistemic Properties of Multi-agent Systems via Bounded
Model Checking},
journal = {Fundam. Informaticae},
volume = {55},
number = {2},
pages = {167--185},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-2-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PenczekL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/LomuscioS03,
author = {Alessio Lomuscio and
Marek J. Sergot},
title = {Deontic Interpreted Systems},
journal = {Stud Logica},
volume = {75},
number = {1},
pages = {63--92},
year = {2003},
url = {https://doi.org/10.1023/A:1026176900459},
doi = {10.1023/A:1026176900459},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/LomuscioS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/PenczekL03,
author = {Wojciech Penczek and
Alessio Lomuscio},
title = {Verifying epistemic properties of multi-agent systems via bounded
model checking},
booktitle = {The Second International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2003, July 14-18, 2003, Melbourne, Victoria,
Australia, Proceedings},
pages = {209--216},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/860575.860609},
doi = {10.1145/860575.860609},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/PenczekL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioRS03,
author = {Alessio Lomuscio and
Franco Raimondi and
Marek J. Sergot},
title = {Towards model checking interpreted systems},
booktitle = {The Second International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2003, July 14-18, 2003, Melbourne, Victoria,
Australia, Proceedings},
pages = {1054--1055},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/860575.860792},
doi = {10.1145/860575.860792},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/LomuscioRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HoekL03,
author = {Wiebe van der Hoek and
Alessio Lomuscio},
title = {Ignore at your peril - towards a logic for ignorance},
booktitle = {The Second International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2003, July 14-18, 2003, Melbourne, Victoria,
Australia, Proceedings},
pages = {1148--1149},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/860575.860839},
doi = {10.1145/860575.860839},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/HoekL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/GovernatoriLS03,
author = {Guido Governatori and
Alessio Lomuscio and
Marek J. Sergot},
editor = {Tam{\'{a}}s D. Gedeon and
Lance Chun Che Fung},
title = {A Tableaux System for Deontic Interpreted Systems},
booktitle = {{AI} 2003: Advances in Artificial Intelligence, 16th Australian Conference
on Artificial Intelligence, Perth, Australia, December 3-5, 2003,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2903},
pages = {339--351},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24581-0\_29},
doi = {10.1007/978-3-540-24581-0\_29},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/GovernatoriLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/HoekL03,
author = {Wiebe van der Hoek and
Alessio Lomuscio},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Leon Sterling and
Paolo Torroni},
title = {A logic for ignorance},
booktitle = {Declarative Agent Languages and Technologies, First International
Workshop, {DALT} 2003, Melbourne, Australia, July 15, 2003, Revised
Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {2990},
pages = {97--108},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25932-9\_6},
doi = {10.1007/978-3-540-25932-9\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/HoekL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HoekLVW04,
author = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
editor = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
title = {Preface: Volume 85, Issue 2},
booktitle = {1st International Workshop on Logic and Communication in Multi-Agent
Systems, {LCMAS} 2003, Eindhoven, The Netherlands, June 29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {2},
pages = {81},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82603-9},
doi = {10.1016/S1571-0661(05)82603-9},
timestamp = {Thu, 08 Dec 2022 14:11:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HoekLVW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HoekL04,
author = {Wiebe van der Hoek and
Alessio Lomuscio},
editor = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
title = {A Logic For Ignorance},
booktitle = {1st International Workshop on Logic and Communication in Multi-Agent
Systems, {LCMAS} 2003, Eindhoven, The Netherlands, June 29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {2},
pages = {117--133},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82606-4},
doi = {10.1016/S1571-0661(05)82606-4},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HoekL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RaimondiL04,
author = {Franco Raimondi and
Alessio Lomuscio},
editor = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
title = {A Tool For Specification And Verification Of Epistemic Properties
In Interpreted Systems},
booktitle = {1st International Workshop on Logic and Communication in Multi-Agent
Systems, {LCMAS} 2003, Eindhoven, The Netherlands, June 29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {2},
pages = {176--191},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82609-X},
doi = {10.1016/S1571-0661(05)82609-X},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RaimondiL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioS02,
author = {Alessio Lomuscio and
Marek J. Sergot},
title = {The bit transmission problem revisited},
booktitle = {The First International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2002, July 15-19, 2002, Bologna, Italy,
Proceedings},
pages = {946--947},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/544862.544961},
doi = {10.1145/544862.544961},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/LomuscioS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/LomuscioLP02,
author = {Alessio Lomuscio and
T. Lasica and
Wojciech Penczek},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff and
Diana F. Gordon{-}Spears},
title = {Bounded Model Checking for Interpreted Systems: Preliminary Experimental
Results},
booktitle = {Formal Approaches to Agent-Based Systems, Second International Workshop,
{FAABS} 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2699},
pages = {115--125},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45133-4\_10},
doi = {10.1007/978-3-540-45133-4\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/LomuscioLP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/WooldridgeL01,
author = {Michael J. Wooldridge and
Alessio Lomuscio},
title = {A Computationally Grounded Logic of Visibility, Perception, and Knowledge},
journal = {Log. J. {IGPL}},
volume = {9},
number = {2},
pages = {257--272},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.2.257},
doi = {10.1093/JIGPAL/9.2.257},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/WooldridgeL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agentlink/LomuscioWJ01,
author = {Alessio Lomuscio and
Michael J. Wooldridge and
Nicholas R. Jennings},
editor = {Frank Dignum and
Carles Sierra},
title = {A Classification Scheme for Negotiation in Electronic Commerce},
booktitle = {Agent Mediated Electronic Commerce, The European AgentLink Perspective},
series = {Lecture Notes in Computer Science},
volume = {1991},
pages = {19--33},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44682-6\_2},
doi = {10.1007/3-540-44682-6\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agentlink/LomuscioWJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioS01,
author = {Alessio Lomuscio and
Marek J. Sergot},
editor = {John{-}Jules Ch. Meyer and
Milind Tambe},
title = {On Multi-agent Systems Specification via Deontic Logic},
booktitle = {Intelligent Agents VIII, 8th International Workshop, {ATAL} 2001 Seattle,
WA, USA, August 1-3, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2333},
pages = {86--99},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45448-9\_7},
doi = {10.1007/3-540-45448-9\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/LomuscioS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LomuscioMR00,
author = {Alessio Lomuscio and
Ron van der Meyden and
Mark Ryan},
title = {Knowledge in multiagent systems: initial configurations and broadcast},
journal = {{ACM} Trans. Comput. Log.},
volume = {1},
number = {2},
pages = {247--284},
year = {2000},
url = {https://doi.org/10.1145/359496.359527},
doi = {10.1145/359496.359527},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/LomuscioMR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/WooldridgeL00,
author = {Michael J. Wooldridge and
Alessio Lomuscio},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Multi-agent {VSK} Logic},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {300--312},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_21},
doi = {10.1007/3-540-40006-0\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/WooldridgeL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Lomuscio99,
author = {Alessio Lomuscio},
title = {Knowledge sharing among ideal agents},
school = {University of Birmingham, {UK}},
year = {1999},
url = {http://etheses.bham.ac.uk/514/},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Lomuscio99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedam/LomuscioR99,
author = {Alessio Lomuscio and
Mark Ryan},
title = {An algorithmic approach to knowledge evolution},
journal = {Artif. Intell. Eng. Des. Anal. Manuf.},
volume = {13},
number = {2},
pages = {119--132},
year = {1999},
url = {http://journals.cambridge.org/action/displayAbstract?aid=38693},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aiedam/LomuscioR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/WooldridgeL99,
author = {Michael J. Wooldridge and
Alessio Lomuscio},
editor = {Nicholas R. Jennings and
Yves Lesp{\'{e}}rance},
title = {Reasoning about Visibility, Perception and Knowledge},
booktitle = {Intelligent Agents VI, Agent Theories, Architectures, and Languages
(ATAL), 6th International Workshop, {ATAL} '99, Orlando, Florida,
USA, July 15-17, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1757},
pages = {1--12},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10719619\_1},
doi = {10.1007/10719619\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/WooldridgeL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioR99,
author = {Alessio Lomuscio and
Mark Ryan},
editor = {Nicholas R. Jennings and
Yves Lesp{\'{e}}rance},
title = {A Spectrum of Modes of Knowledge Sharing between Agents},
booktitle = {Intelligent Agents VI, Agent Theories, Architectures, and Languages
(ATAL), 6th International Workshop, {ATAL} '99, Orlando, Florida,
USA, July 15-17, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1757},
pages = {13--26},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10719619\_2},
doi = {10.1007/10719619\_2},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/LomuscioR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-9909019,
author = {Alessio Lomuscio and
Ron van der Meyden and
Mark Ryan},
title = {Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast},
journal = {CoRR},
volume = {cs.LO/9909019},
year = {1999},
url = {https://arxiv.org/abs/cs/9909019},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-9909019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LomuscioR98,
author = {Alessio Lomuscio and
Mark Ryan},
editor = {Henri Prade},
title = {Ideal Agents Sharing (some!) Knowledge},
booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK,
August 23-28 1998, Proceedings.},
pages = {557--561},
publisher = {John Wiley and Sons},
year = {1998},
timestamp = {Wed, 31 Jul 2019 08:45:03 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LomuscioR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/dInvernoFLLRRW97,
author = {Mark d'Inverno and
Michael Fisher and
Alessio Lomuscio and
Michael Luck and
Maarten de Rijke and
Mark Ryan and
Michael J. Wooldridge},
title = {Formalisms for multi-agent systems},
journal = {Knowl. Eng. Rev.},
volume = {12},
number = {3},
pages = {315--321},
year = {1997},
url = {https://doi.org/10.1017/S0269888997003068},
doi = {10.1017/S0269888997003068},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ker/dInvernoFLLRRW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/LomuscioR97,
author = {Alessio Lomuscio and
Mark Ryan},
editor = {Wayne Wobcke and
Maurice Pagnucco and
Chengqi Zhang},
title = {On the Relation between Interpreted Systems and Kripke Models},
booktitle = {Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications,
Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent
Agents, and Distributed Artificial Intelligence, Perth, Australia,
December 1, 1997},
series = {Lecture Notes in Computer Science},
volume = {1441},
pages = {46--59},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0055019},
doi = {10.1007/BFB0055019},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ausai/LomuscioR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LomuscioC97,
author = {Alessio Lomuscio and
Marco Colombetti},
editor = {J{\"{o}}rg P. M{\"{u}}ller and
Michael J. Wooldridge and
Nicholas R. Jennings},
title = {{QLB:} {A} Quantified Logic for Belief},
booktitle = {Intelligent Agents III, Agent Theories, Architectures, and Languages,
{ECAI} '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1193},
pages = {71--85},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0013578},
doi = {10.1007/BFB0013578},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/LomuscioC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
