On the Relationship Between Satisfiability and Markov Decision Processes

Ricardo Salmon, Pascal Poupart. On the Relationship Between Satisfiability and Markov Decision Processes. In Amir Globerson, Ricardo Silva, editors, Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, UAI 2019, Tel Aviv, Israel, July 22-25, 2019. pages 407, AUAI Press, 2019. [doi]

Authors

Ricardo Salmon

This author has not been identified. Look up 'Ricardo Salmon' in Google

Pascal Poupart

This author has not been identified. Look up 'Pascal Poupart' in Google