5 Publications

Mark all

[5]
2019 | Journal Article | IST-REx-ID: 6752
Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games.” Journal of the ACM 66, no. 4 (2019): 31. https://doi.org/10.1145/3340295.
View | Files available | DOI | Download (ext.) | arXiv
 
[4]
2017 | Conference Paper | IST-REx-ID: 950   OA
Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games,” 85:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.CONCUR.2017.21.
View | Files available | DOI | arXiv
 
[3]
2016 | Conference Paper | IST-REx-ID: 1389   OA
Chonev, Ventsislav K, Joël Ouaknine, and James Worrell. “On Recurrent Reachability for Continuous Linear Dynamical Systems.” In LICS ’16, 515–24. IEEE, 2016. https://doi.org/10.1145/2933575.2934548.
View | DOI | Download (ext.)
 
[2]
2016 | Journal Article | IST-REx-ID: 1380   OA
Chonev, Ventsislav K, Joël Ouaknine, and James Worrell. “On the Complexity of the Orbit Problem.” Journal of the ACM 63, no. 3 (2016). https://doi.org/10.1145/2857050.
View | DOI | Download (ext.)
 
[1]
2016 | Conference Paper | IST-REx-ID: 1069   OA
Chonev, Ventsislav K, Joël Ouaknine, and James Worrell. “On the Skolem Problem for Continuous Linear Dynamical Systems,” Vol. 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016. https://doi.org/10.4230/LIPIcs.ICALP.2016.100.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed

5 Publications

Mark all

[5]
2019 | Journal Article | IST-REx-ID: 6752
Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games.” Journal of the ACM 66, no. 4 (2019): 31. https://doi.org/10.1145/3340295.
View | Files available | DOI | Download (ext.) | arXiv
 
[4]
2017 | Conference Paper | IST-REx-ID: 950   OA
Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games,” 85:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.CONCUR.2017.21.
View | Files available | DOI | arXiv
 
[3]
2016 | Conference Paper | IST-REx-ID: 1389   OA
Chonev, Ventsislav K, Joël Ouaknine, and James Worrell. “On Recurrent Reachability for Continuous Linear Dynamical Systems.” In LICS ’16, 515–24. IEEE, 2016. https://doi.org/10.1145/2933575.2934548.
View | DOI | Download (ext.)
 
[2]
2016 | Journal Article | IST-REx-ID: 1380   OA
Chonev, Ventsislav K, Joël Ouaknine, and James Worrell. “On the Complexity of the Orbit Problem.” Journal of the ACM 63, no. 3 (2016). https://doi.org/10.1145/2857050.
View | DOI | Download (ext.)
 
[1]
2016 | Conference Paper | IST-REx-ID: 1069   OA
Chonev, Ventsislav K, Joël Ouaknine, and James Worrell. “On the Skolem Problem for Continuous Linear Dynamical Systems,” Vol. 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016. https://doi.org/10.4230/LIPIcs.ICALP.2016.100.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed