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
Brázdil, Tomáš, Verification of markov decision processes using learning algorithms. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8837. 2014
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
Brázdil, Tomáš, Verification of markov decision processes using learning algorithms. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8837. 2014