Conferência De: dblp
SMT-based Safety Checking of Parameterized Multi-Agent Systems.
AAAI
— 2021
Informações chave
Autores:
Publicado em
2021
Detalhes da publicação
Autores da comunidade :
Alessandro Gianola
ist429767
Título do contentor da publicação
AAAI
Primeira página ou número de artigo
6321
Última página
6330
Domínio Científico (FOS)
computer-and-information-sciences - Ciências da Computação e da Informação
Idioma da publicação (código ISO)
eng - Inglês
Acesso à publicação:
Acesso apenas a metadados