Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2 Publications


2015 | Published | Conference Paper | IST-REx-ID: 1610 | OA
Edit distance for pushdown automata
Chatterjee, Krishnendu, Edit distance for pushdown automata. 42nd International Colloquium 9135 (Part II). 2015
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Conference Paper | IST-REx-ID: 1609 | OA
The complexity of synthesis from probabilistic components
K. Chatterjee, L. Doyen, M. Vardi, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 108–120.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

isbn=978-3-662-47665-9

Search

Filter Publications

Display / Sort

Export / Embed