Loading [MathJax]/extensions/TeX/AMSsymbols.js

Skip to main content

One Idea

Blog by Oxford computer scientist Stefan Kiefer

Search This Blog

Posts

Showing posts from March, 2019

About Me

Stefan Kiefer

Archive

May 20171
June 20172
July 20171
November 20171
March 20181
April 20181
May 20181
August 20181
January 20191
March 20191

Labels

academia
automata
Markov chains
Markov decision processes
matrices
non-technical
open problem
research
verification

Powered by Blogger