Conference In: dblp

SMT-based Safety Checking of Parameterized Multi-Agent Systems.

AAAI

Paolo Felli; Alessandro Gianola; Marco Montali — 2021

Key information

Authors:

Paolo Felli; Alessandro Gianola (Alessandro Gianola); Marco Montali

Published in

2021

Publication details

Authors in the community:

Title of the publication container

AAAI

First page or article number

6321

Last page

6330

Fields of Science and Technology (FOS)

computer-and-information-sciences - Computer and information sciences

Publication language (ISO code)

eng - English

Rights type:

Only metadata available