Author:
Blahoudek František,Cubuktepe Murat,Novotný Petr,Ornik Melkior,Thangeda Pranay,Topcu Ufuk
Publisher
Springer International Publishing
Reference22 articles.
1. Al-Sabban, W.H., Gonzalez, L.F., Smith, R.N.: Extending persistent monitoring by combining ocean models and Markov decision processes. In: 2012 Oceans, pp. 1–10 (2012)
2. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Bertsekas, D.P.: Dynamic Programming and Optimal Control, 3rd edn, Vol. II. Athena Scientific (2007). ISBN 1886529302
4. Bharadwaj, S., Le Roux, S., Pérez, G.A., Topcu, U.: Reduction techniques for model checking and learning in MDPs. In: 26th International Joint Conferences on Artificial Intelligence, pp. 4273–4279 (2017)
5. Blahoudek, F., Brázdil, T., Novotný, P., Ornik, M., Thangeda, P., Topcu, U.: Qualitative controller synthesis for consumption Markov decision processes. In: 32nd International Conference on Computer-Aided Verification, vol. II, pp. 421–447 (2020)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献