Concepedia

Ilya Tkachev

IT

7

Publications

219

Citations

7

H-Index

2011

Active since

Affiliations

Delft University of Technology(Current)

University of Oxford

Ilya Tkachev is an author at Delft University of Technology specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationProbabilityFormal MethodsAutomated ReasoningStochastic CalculusSystems EngineeringVerificationProcess Control

Publications per year

2011–2014

7

Publications

7

Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems

Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen et al. · 2013 · 61 citations

Engineering, Reachability Problem, Verification +16

Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems

Ilya Tkachev, Alessandro Abate · 2013 · 41 citations

Engineering, Verification, Model Checking +21

On infinite-horizon probabilistic properties and stochastic bisimulation functions

Ilya Tkachev, Alessandro Abate · 2011 · 37 citations · Full text

Structural Features, Stochastic Hybrid System, Engineering +13

Characterization and computation of infinite-horizon specifications over Markov processes

Ilya Tkachev, Alessandro Abate · Theoretical Computer Science · 2013 · 32 citations · Full text

Engineering, Automated Reasoning, Probabilistic Verification +6

Bisimilar symbolic models for stochastic control systems without state-space discretization

Majid Zamani, Ilya Tkachev, Alessandro Abate · 2014 · 24 citations

Stochastic Hybrid System, Control Policy, Engineering +13

Rows per page

1–5 of 7