Ventsislav Chonev

16 papers A* 4B 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
On the Zeros of Exponential Polynomials.
J. ACM
Ventsislav Chonev, Joël Ouaknine, James Worrell
2019 J jnl
Infinite-duration Bidding Games.
J. ACM
Guy Avni, Thomas A. Henzinger, Ventsislav Chonev
2019 — conf
Reachability in Augmented Interval Markov Chains.
RP
Ventsislav Chonev
2017 B conf
Infinite-Duration Bidding Games.
CONCUR
Guy Avni, Thomas A. Henzinger, Ventsislav Chonev
2017 J jnl
Infinite-Duration Bidding Games.
CoRR
Guy Avni, Ventsislav Chonev, Thomas A. Henzinger
2017 J jnl
Reachability in Augmented Interval Markov Chains.
CoRR
Ventsislav Chonev
2016 A* conf
On Recurrent Reachability for Continuous Linear Dynamical Systems.
LICS
Ventsislav Chonev, Joël Ouaknine, James Worrell
2016 J jnl
On the Complexity of the Orbit Problem.
J. ACM
Ventsislav Chonev, Joël Ouaknine, James Worrell
2016 A* conf
On the Skolem Problem for Continuous Linear Dynamical Systems.
ICALP
Ventsislav Chonev, Joël Ouaknine, James Worrell
2015 J jnl
On the Decidability of the Bounded Continuous Skolem Problem.
CoRR
Ventsislav Chonev, Joël Ouaknine, James Worrell
2015 J jnl
On the Decidability of the Continuous Infinite Zeros Problem.
CoRR
Ventsislav Chonev, Joël Ouaknine, James Worrell
2015 A* conf
The Polyhedron-Hitting Problem.
SODA
Ventsislav Chonev, Joël Ouaknine, James Worrell
2014 J jnl
The Polyhedron-Hitting Problem.
CoRR
Ventsislav Chonev, Joël Ouaknine, James Worrell
2013 J jnl
The Orbit Problem in Higher Dimensions
CoRR
Ventsislav Chonev, Joël Ouaknine, James Worrell
2013 A* conf
The orbit problem in higher dimensions.
STOC
Ventsislav Chonev, Joël Ouaknine, James Worrell
2011 — conf
Feature restoration and distortion metrics.
Media Forensics and Security
Ventsislav Chonev, Andrew D. Ker