Ventsislav Chonev

According to our database, Ventsislav Chonev authored at least 11 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

On the Zeros of Exponential Polynomials.

Ventsislav Chonev, Joël Ouaknine, James Worrell

J. ACM, August, 2023

2019

Infinite-duration Bidding Games.

Guy Avni, Thomas A. Henzinger, Ventsislav Chonev

J. ACM, 2019

Reachability in Augmented Interval Markov Chains.

Ventsislav Chonev

Proceedings of the Reachability Problems - 13th International Conference, 2019

2016

On the Complexity of the Orbit Problem.

Ventsislav Chonev, Joël Ouaknine, James Worrell

J. ACM, 2016

On Recurrent Reachability for Continuous Linear Dynamical Systems.

Ventsislav Chonev, Joël Ouaknine, James Worrell

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

On the Skolem Problem for Continuous Linear Dynamical Systems.

Ventsislav Chonev, Joël Ouaknine, James Worrell

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2015

On the Decidability of the Continuous Infinite Zeros Problem.

Ventsislav Chonev, Joël Ouaknine, James Worrell

CoRR, 2015

On the Decidability of the Bounded Continuous Skolem Problem.

Ventsislav Chonev, Joël Ouaknine, James Worrell

CoRR, 2015

The Polyhedron-Hitting Problem.

Ventsislav Chonev, Joël Ouaknine, James Worrell

Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, 2015

2013

The orbit problem in higher dimensions.

Ventsislav Chonev, Joël Ouaknine, James Worrell

Proceedings of the Symposium on Theory of Computing Conference, 2013

2011

Feature restoration and distortion metrics.

Ventsislav Chonev, Andrew D. Ker

Proceedings of the Media Watermarking, 2011