5 Publications

Mark all

[5]
2019 | Published | Journal Article | IST-REx-ID: 6752 | OA
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, Journal of the ACM 66 (2019).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
[4]
2017 | Published | Conference Paper | IST-REx-ID: 950 | OA
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | Files available | DOI | arXiv
 
[3]
2016 | Published | Journal Article | IST-REx-ID: 1380 | OA
On the complexity of the orbit problem
V.K. Chonev, J. Ouaknine, J. Worrell, Journal of the ACM 63 (2016).
[Preprint] View | DOI | Download Preprint (ext.)
 
[2]
2016 | Published | Conference Paper | IST-REx-ID: 1389 | OA
On recurrent reachability for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.
[Preprint] View | DOI | Download Preprint (ext.)
 
[1]
2016 | Published | Conference Paper | IST-REx-ID: 1069 | OA
On the skolem problem for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed

Grants


5 Publications

Mark all

[5]
2019 | Published | Journal Article | IST-REx-ID: 6752 | OA
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, Journal of the ACM 66 (2019).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
[4]
2017 | Published | Conference Paper | IST-REx-ID: 950 | OA
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | Files available | DOI | arXiv
 
[3]
2016 | Published | Journal Article | IST-REx-ID: 1380 | OA
On the complexity of the orbit problem
V.K. Chonev, J. Ouaknine, J. Worrell, Journal of the ACM 63 (2016).
[Preprint] View | DOI | Download Preprint (ext.)
 
[2]
2016 | Published | Conference Paper | IST-REx-ID: 1389 | OA
On recurrent reachability for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.
[Preprint] View | DOI | Download Preprint (ext.)
 
[1]
2016 | Published | Conference Paper | IST-REx-ID: 1069 | OA
On the skolem problem for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed