Formal Methods in Software Engineering

Rational Synthesis in the Commons with Careless and Careful Agents

Year2021
TypeConference
StatusProceedings
AuthorsRodica Condurache, Et al.

Links

Abstract

AAMAS 2021: 368-376

BibTeX

@TechReport{ name, author = {}, title = {}, institution = {}, year = {}, number = {}, month = {}, note = {}, url = {} }