Ventsislav Chonev

Identifiers

• name variant Ventsislav Chonev 0.60 · backfill

Papers (6)

1. Infinite-Duration Bidding Games cs.LO · 2017 · author #3
2. Reachability in Augmented Interval Markov Chains cs.CC · 2017 · author #1
3. On Recurrent Reachability for Continuous Linear Dynamical Systems cs.SY · 2015 · author #1
4. On the Skolem Problem for Continuous Linear Dynamical Systems cs.SY · 2015 · author #1
5. The Polyhedron-Hitting Problem cs.CC · 2014 · author #1
6. On the Complexity of the Orbit Problem cs.CC · 2013 · author #1

Mentions

• 1507.03632 #1 · arxiv_oai · confidence 0.70 Ventsislav Chonev
• 1506.00695 #1 · arxiv_oai · confidence 0.70 Ventsislav Chonev
• 1507.03632 #1 · backfill · confidence 0.70 Ventsislav Chonev
• 1506.00695 #1 · backfill · confidence 0.70 Ventsislav Chonev
• 1407.1889 #1 · backfill · confidence 0.70 Ventsislav Chonev
• 1303.2981 #1 · backfill · confidence 0.70 Ventsislav Chonev

Frequent Coauthors

• James Worrell 4 shared papers
• Jo\"el Ouaknine 2 shared papers
• Joel Ouaknine 2 shared papers
• Guy Avni 1 shared papers
• Thomas A. Henzinger 1 shared papers