First Page | Document Content | |
---|---|---|
![]() Date: 2014-09-09 11:23:22Decision theory Incident management Decision support system Decision model Decision analysis Decision-making Situation awareness Information Services Procurement Library Wildfire International Association of Wildland Fire Wildland Fire Lessons Learned Center | Add to Reading List |
![]() | Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking Azlan Ismail Marta KwiatkowskaDocID: 1xVCr - View Document |
![]() | Probabilistic Model for Code with Decision Trees Veselin Raychev Pavol Bielik Martin VechevDocID: 1xVc9 - View Document |
![]() | Multi-Objective Model Checking of Markov Decision Processes K. Etessami1 , M. Kwiatkowska2, M. Y. Vardi3 , and M. Yannakakis4 1 2DocID: 1xUjg - View Document |
![]() | WORKSHOP PROGRAM The science of choice How to model the decision-making process? Rostock, October 28 to 30, 2015DocID: 1v2JJ - View Document |
![]() | 1 Finite Model Approximations for Partially Observed Markov Decision Processes with Discounted Cost arXiv:1710.07009v1 [cs.SY] 19 Oct 2017DocID: 1uJ7G - View Document |