Light-regulated ligand traps for spatio-temporal inhibition of cell signaling
Project Period: 2017-08-01 – 2020-04-30
Funder:
Österreichischen Akademie der Wissenschaften
Principal Investigator
Department(s)
Grant Number
24696
Funder
Österreichischen Akademie der Wissenschaften
Funder Schema
OeAW-DOC
Funder Registry
1 Publication
2014 |
Published |
Conference Paper |
IST-REx-ID: 2027 |
Verification of Markov decision processes using learning algorithms
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, D. Parker, M. Ujma, in:, 12th International Symposium on Automated Technology for Verification and Analysis, Springer, 2014, pp. 98–114.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, D. Parker, M. Ujma, in:, 12th International Symposium on Automated Technology for Verification and Analysis, Springer, 2014, pp. 98–114.