Jessica Davies

Henzinger_Thomas Group

2 Publications

Mark all

[2]
2016 | Published | Conference Paper | IST-REx-ID: 1166 | OA
A symbolic SAT based algorithm for almost sure reachability with small strategies in POMDPs
K. Chatterjee, M. Chmelik, J. Davies, in:, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI Press, 2016, pp. 3225–3232.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[1]
2015 | Published | Technical Report | IST-REx-ID: 5443 | OA
A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
K. Chatterjee, M. Chmelik, 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

Export / Embed

Grants


2 Publications

Mark all

[2]
2016 | Published | Conference Paper | IST-REx-ID: 1166 | OA
A symbolic SAT based algorithm for almost sure reachability with small strategies in POMDPs
K. Chatterjee, M. Chmelik, J. Davies, in:, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI Press, 2016, pp. 3225–3232.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[1]
2015 | Published | Technical Report | IST-REx-ID: 5443 | OA
A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
K. Chatterjee, M. Chmelik, 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

Export / Embed