Results on Alternating-Time Temporal Logics with Linear Past / Bozzelli, L., Murano, A., Sorrentino, L.. - (2018), pp. 6:1-6:22. (25th International Symposium on Temporal Representation and Reasoning,TIME 2018 ) [10.4230/LIPIcs.TIME.2018.6].
Results on Alternating-Time Temporal Logics with Linear Past
Laura Bozzelli;Aniello Murano;Loredana Sorrentino
2018
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.


