- Title
- SMT-based Safety Checking of Parameterized Multi-Agent Systems
- Creators
- Paolo Felli - Free University of Bozen-BolzanoAlessandro Gianola - Free University of Bozen-BolzanoMarco Montali - Free University of Bozen-Bolzano
- Publication Details
- Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, pp.6321-6330
- Conference
- National Conference of the American Association for Artificial Intelligence (Virtual event, 02/02/2021–09/02/2021)
- Publisher
- AAAI Press
- Identifiers
- (UNIBZ)45695141
991006490394201241 - Web of Science ID
- 000680423506049
- Scopus ID
- n.a.
- Academic Unit
- Faculty of Computer Science
Faculty of Computer Science
Faculty of Computer Science - Language
- English
- Resource Type
- Conference proceeding
- Author Names String
- Felli P, Gianola A, Montali M
Conference proceeding
SMT-based Safety Checking of Parameterized Multi-Agent Systems
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, pp.6321-6330
National Conference of the American Association for Artificial Intelligence (Virtual event, 02/02/2021–09/02/2021)
2021
Handle:
https://hdl.handle.net/10863/29276
Details
Metrics
7 File views/ downloads
5 Record Views