Dettaglio pubblicazione
2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016, Pages 4184-4190
Rational verification: From model checking to equilibrium checking (04b Atto di convegno in volume)
Wooldridge M., Gutierrez J., Harrenstein P., Marchioni E., Perelli G., Toumi A.
ISBN: 978-157735760-5
keywords