Document Search Results

A modal \(\mu\) perspective on solving parity games in quasi-polynomial time. (English) Zbl 1497.68228

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 639-648 (2018).

MSC: 68Q19 03B45 68Q25 91A43

Cite Review PDF

Full Text: DOI

Bradfield, Julian; Walukiewicz, Igor

The mu-calculus and model checking. (English) Zbl 1392.68236

Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 871-919 (2018).

MSC: 68Q60 03B45 68Q85

Cite Review PDF

Full Text: DOI HAL

Canavoi, Felix; Grädel, Erich; Lessenich, Simon; Pakusa, Wied

Defining winning strategies in fixed-point logic. (English) Zbl 1394.03053

Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 366-377 (2015).

MSC: 03B70 68Q25 91A43

Cite Review PDF

Full Text: DOI

Platzer, André

Differential game logic. (English) Zbl 1367.68201

ACM Trans. Comput. Log. 17, No. 1, Article No. 1, 51 p. (2015).

MSC: 68Q60 03B70 91A44

Cite Review PDF

Full Text: DOI arXiv

Berwanger, Dietmar; Grädel, Erich; Kaiser, Łukasz; Rabinovich, Roman

Entanglement and the complexity of directed graphs. (English) Zbl 1256.05086

Theor. Comput. Sci. 463, 2-25 (2012).

MSC: 05C20 05C57 05C85 91A43 91A24

Cite Review PDF

Full Text: DOI

Brünnler, Kai; Studer, Thomas

Syntactic cut-elimination for a fragment of the modal mu-calculus. (English) Zbl 1259.03031

Ann. Pure Appl. Logic 163, No. 12, 1838-1853 (2012).

Reviewer: G. E. Mints (Stanford)

MSC: 03B45 03F05

Cite Review PDF

Full Text: DOI

Balbiani, Philippe; Cheikh, Fahima; Feuillade, Guillaume

Algorithms and complexity of automata synthesis by asynchronous orchestration with applications to web services composition. (English) Zbl 1291.68277

Bonchi, Filippo (ed.) et al., Proceedings of the 1st interaction and concurrency experiences workshop (ICE 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 3, 3-18 (2009).

MSC: 68Q85 68M11 68Q45 68Q17

Cite Review PDF

Full Text: DOI

Berwanger, Dietmar; Pinchinat, Sophie

Game quantification patterns. (English) Zbl 1209.03031

Ramanujam, R. (ed.) et al., Logic and its applications. Third Indian conference, ICLA 2009, Chennai, India, January 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92700-6/pbk). Lecture Notes in Computer Science 5378. Lecture Notes in Artificial Intelligence, 116-130 (2009).

MSC: 03C80 03B44 03B70 91A80

Cite Review PDF

Full Text: DOI

Found 8 Documents (Results 1–8)

A modal \(\mu\) perspective on solving parity games in quasi-polynomial time. (English) Zbl 1497.68228

The mu-calculus and model checking. (English) Zbl 1392.68236

Defining winning strategies in fixed-point logic. (English) Zbl 1394.03053

Differential game logic. (English) Zbl 1367.68201

Entanglement and the complexity of directed graphs. (English) Zbl 1256.05086

Syntactic cut-elimination for a fragment of the modal mu-calculus. (English) Zbl 1259.03031

Algorithms and complexity of automata synthesis by asynchronous orchestration with applications to web services composition. (English) Zbl 1291.68277

Game quantification patterns. (English) Zbl 1209.03031

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software