Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Ilya Tkachev

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c5]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hybrid/TkachevA13
- ask others
Ilya Tkachev, Alessandro Abate: Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. HSCC 2013: 283-292
[c4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hybrid/TkachevMKA13
- ask others
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate: Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. HSCC 2013: 293-302
2012
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cdc/TkachevA12
- ask others
Ilya Tkachev, Alessandro Abate: Stability and attractivity of absorbing sets for discrete-time Markov processes. CDC 2012: 7652-7657
[c2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hybrid/TkachevA12
- ask others
Ilya Tkachev, Alessandro Abate: Regularization of bellman equations for infinite-horizon probabilistic properties. HSCC 2012: 227-236
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1211-4346
- ask others
Ilya Tkachev, Alessandro Abate: Characterization and computation of infinite horizon specifications over Markov processes. CoRR abs/1211.4346 (2012)
2011
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cdc/TkachevA11
- ask others
Ilya Tkachev, Alessandro Abate: On infinite-horizon probabilistic properties and stochastic bisimulation functions. CDC-ECE 2011: 526-531

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?