Up a level |
Feng, Weizhi, Li, Yong ORCID: 0000-0002-7301-9234, Turrini, Andrea, Vardi, Moshe Y and Zhang, Lijun
(2023)
On the power of finite ambiguity in Büchi complementation.
Information and Computation, 292.
p. 105032.
Nalon, Cláudia, Zhang, Lan, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, Ullrich ORCID: 0000-0002-0455-0267
(2014)
A Resolution Prover for Coalition Logic.
In: 2nd International Workshop on Strategic Reasoning, Satellite workshop of ETAPS 2014.
Li, Yong ORCID: 0000-0002-7301-9234, Schewe, Sven ORCID: 0000-0002-9093-9518 and Vardi, Moshe Y
(2023)
Singly Exponential Translation of Alternating Weak Büchi Automata to
Unambiguous Büchi Automata.
[Preprint]