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:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 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:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 98–114.