Ventsislav Chonev

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 9

Top Topics

Nash Equilibria

Markov Processes

Weighted Majority

Dynamical Systems

Top Venues

Publications

Ventsislav Chonev, Joël Ouaknine, James Worrell
On the Zeros of Exponential Polynomials. J. ACM 70 (4) (2023)
Guy Avni, Thomas A. Henzinger, Ventsislav Chonev
Infinite-duration Bidding Games. J. ACM 66 (4) (2019)
Ventsislav Chonev
Reachability in Augmented Interval Markov Chains. RP (2019)
Guy Avni, Thomas A. Henzinger, Ventsislav Chonev
Infinite-Duration Bidding Games. CONCUR (2017)
Ventsislav Chonev
Reachability in Augmented Interval Markov Chains. CoRR (2017)
Guy Avni, Ventsislav Chonev, Thomas A. Henzinger
Infinite-Duration Bidding Games. CoRR (2017)
Ventsislav Chonev, Joël Ouaknine, James Worrell
On Recurrent Reachability for Continuous Linear Dynamical Systems. LICS (2016)
Ventsislav Chonev, Joël Ouaknine, James Worrell
On the Skolem Problem for Continuous Linear Dynamical Systems. ICALP (2016)
Ventsislav Chonev, Joël Ouaknine, James Worrell
On the Complexity of the Orbit Problem. J. ACM 63 (3) (2016)
Ventsislav Chonev, Joël Ouaknine, James Worrell
The Polyhedron-Hitting Problem. SODA (2015)
Ventsislav Chonev, Joël Ouaknine, James Worrell
On the Decidability of the Continuous Infinite Zeros Problem. CoRR (2015)
Ventsislav Chonev, Joël Ouaknine, James Worrell
On the Decidability of the Bounded Continuous Skolem Problem. CoRR (2015)
Ventsislav Chonev, Joël Ouaknine, James Worrell
The Polyhedron-Hitting Problem. CoRR (2014)
Ventsislav Chonev, Joël Ouaknine, James Worrell
The orbit problem in higher dimensions. STOC (2013)
Ventsislav Chonev, Joël Ouaknine, James Worrell
The Orbit Problem in Higher Dimensions CoRR (2013)
Ventsislav Chonev, Andrew D. Ker
Feature restoration and distortion metrics. Media Forensics and Security (2011)