Jessica Davies

2 Publications

Mark all

[2]
2016 | Published | Conference Paper | IST-REx-ID: 1166
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.
View | Files available
 
[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

  • 1 OA Fulltext(s)

Display / Sort

Export / Embed

Grants


2 Publications

Mark all

[2]
2016 | Published | Conference Paper | IST-REx-ID: 1166
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.
View | Files available
 
[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

  • 1 OA Fulltext(s)

Display / Sort

Export / Embed