Relentful strategic reasoning in alternating-Time temporal logic / Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y.. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - 26:5(2016), pp. 1663-1695. [10.1093/logcom/exu052]
Relentful strategic reasoning in alternating-Time temporal logic
MOGAVERO, FABIO;MURANO, ANIELLO;
2016
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.