Probabilistic Methods in Verification and Planning (Dagstuhl Seminar 03201)

Boutilier, Craig; Haverkort, Boudewijn; Kwiatkowska, Marta; Vardi, Moshe Y.

doi:10.4230/DagSemRep.379

Document

Probabilistic Methods in Verification and Planning (Dagstuhl Seminar 03201)

Authors Craig Boutilier, Boudewijn Haverkort, Marta Kwiatkowska, Moshe Y. Vardi

Part of: Volume: Dagstuhl Seminar Reports (DagSemRep)
Part of: Series: Dagstuhl Seminar Reports (DagSemRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2003-05-16

PDF

File

DagSemRep.379.pdf

Filesize: 364 kB
8 pages

Document Identifiers

DOI: 10.4230/DagSemRep.379
URN: urn:nbn:de:0030-drops-152590

Author Details

Craig Boutilier

Boudewijn Haverkort

Marta Kwiatkowska

Moshe Y. Vardi

Cite AsGet BibTex

Craig Boutilier, Boudewijn Haverkort, Marta Kwiatkowska, and Moshe Y. Vardi. Probabilistic Methods in Verification and Planning (Dagstuhl Seminar 03201). Dagstuhl Seminar Report 379, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)
https://doi.org/10.4230/DagSemRep.379

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail