Ventsislav K Chonev
Chatterjee Group
5 Publications
2019 | Journal Article | IST-REx-ID: 6752
Avni, Guy, et al. “Infinite-Duration Bidding Games.” Journal of the ACM, vol. 66, no. 4, ACM, 2019, p. 31, doi:10.1145/3340295.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 950 
Avni, Guy, et al. Infinite-Duration Bidding Games. Vol. 85, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 17, doi:10.4230/LIPIcs.CONCUR.2017.21.
View
| Files available
| DOI
| arXiv
2016 | Conference Paper | IST-REx-ID: 1389
Chonev, Ventsislav K., et al. “On Recurrent Reachability for Continuous Linear Dynamical Systems.” LICS ’16, IEEE, 2016, pp. 515–24, doi:10.1145/2933575.2934548.
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1380
Chonev, Ventsislav K., et al. “On the Complexity of the Orbit Problem.” Journal of the ACM, vol. 63, no. 3, 23, ACM, 2016, doi:10.1145/2857050.
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 1069
Chonev, Ventsislav K., et al. On the Skolem Problem for Continuous Linear Dynamical Systems. Vol. 55, 100, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.100.
View
| Files available
| DOI
5 Publications
2019 | Journal Article | IST-REx-ID: 6752
Avni, Guy, et al. “Infinite-Duration Bidding Games.” Journal of the ACM, vol. 66, no. 4, ACM, 2019, p. 31, doi:10.1145/3340295.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 950
Avni, Guy, et al. Infinite-Duration Bidding Games. Vol. 85, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 17, doi:10.4230/LIPIcs.CONCUR.2017.21.
View
| Files available
| DOI
| arXiv
2016 | Conference Paper | IST-REx-ID: 1389
Chonev, Ventsislav K., et al. “On Recurrent Reachability for Continuous Linear Dynamical Systems.” LICS ’16, IEEE, 2016, pp. 515–24, doi:10.1145/2933575.2934548.
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1380
Chonev, Ventsislav K., et al. “On the Complexity of the Orbit Problem.” Journal of the ACM, vol. 63, no. 3, 23, ACM, 2016, doi:10.1145/2857050.
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 1069
Chonev, Ventsislav K., et al. On the Skolem Problem for Continuous Linear Dynamical Systems. Vol. 55, 100, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.100.
View
| Files available
| DOI