Jessica Davies

2 Publications

Mark all

[2]
2016 | Published | Conference Paper | IST-REx-ID: 1166 | OA
K. Chatterjee, M. Chmelik, and J. Davies, “A symbolic SAT based algorithm for almost sure reachability with small strategies in POMDPs,” in Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, Phoenix, AZ, United States, 2016, vol. 2016, pp. 3225–3232.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[1]
2015 | Published | Technical Report | IST-REx-ID: 5443 | OA
K. Chatterjee, M. Chmelik, and J. Davies, A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs. IST Austria, 2015.
[Published Version] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

Grants


2 Publications

Mark all

[2]
2016 | Published | Conference Paper | IST-REx-ID: 1166 | OA
K. Chatterjee, M. Chmelik, and J. Davies, “A symbolic SAT based algorithm for almost sure reachability with small strategies in POMDPs,” in Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, Phoenix, AZ, United States, 2016, vol. 2016, pp. 3225–3232.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[1]
2015 | Published | Technical Report | IST-REx-ID: 5443 | OA
K. Chatterjee, M. Chmelik, and J. Davies, A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs. IST Austria, 2015.
[Published Version] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed