BibTeX record conf/mdai/WuK06

• > Home > conf/mdai/WuK06

@inproceedings{DBLP:conf/mdai/WuK06,
  author       = {Di Wu and
                  Xenofon D. Koutsoukos},
  editor       = {Vicen{\c{c}} Torra and
                  Yasuo Narukawa and
                  A{\"{\i}}da Valls and
                  Josep Domingo{-}Ferrer},
  title        = {Probabilistic Verification of Uncertain Systems Using Bounded-Parameter
                  Markov Decision Processes},
  booktitle    = {Modeling Decisions for Artificial Intelligence, Third International
                  Conference, {MDAI} 2006, Tarragona, Spain, April 3-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3885},
  pages        = {283--294},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11681960\_28},
  doi          = {10.1007/11681960\_28},
  timestamp    = {Tue, 07 May 2024 20:11:44 +0200},
  biburl       = {https://dblp.org/rec/conf/mdai/WuK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}