Dettaglio pubblicazione
2019, IJCAI, Pages 329-335 (volume: 2019-)
On computational tractability for rational verification (04c Atto di convegno in rivista)
Gutierrez J., Najib M., Perelli G., Wooldridge M.
ISBN: 978-0-9992411-4-1
keywords