Ventsislav Chonev

16 papers A* 4B 1Journal 9Unranked 2

Year	Rank	Type	Title / 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