Published in: LIPIcs, Volume 132, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)
Aris Anagnostopoulos, Ilan R. Cohen, Stefano Leonardi, and Jakub Łącki. Stochastic Graph Exploration. In 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 132, pp. 136:1-136:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{anagnostopoulos_et_al:LIPIcs.ICALP.2019.136, author = {Anagnostopoulos, Aris and Cohen, Ilan R. and Leonardi, Stefano and {\L}\k{a}cki, Jakub}, title = {{Stochastic Graph Exploration}}, booktitle = {46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)}, pages = {136:1--136:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-109-2}, ISSN = {1868-8969}, year = {2019}, volume = {132}, editor = {Baier, Christel and Chatzigiannakis, Ioannis and Flocchini, Paola and Leonardi, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2019.136}, URN = {urn:nbn:de:0030-drops-107122}, doi = {10.4230/LIPIcs.ICALP.2019.136}, annote = {Keywords: stochastic optimization, graph exploration, approximation algorithms} }
Published in: Dagstuhl Reports, Volume 3, Issue 8 (2013)
Peter Auer, Marcus Hutter, and Laurent Orseau. Reinforcement Learning (Dagstuhl Seminar 13321). In Dagstuhl Reports, Volume 3, Issue 8, pp. 1-26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{auer_et_al:DagRep.3.8.1, author = {Auer, Peter and Hutter, Marcus and Orseau, Laurent}, title = {{Reinforcement Learning (Dagstuhl Seminar 13321)}}, pages = {1--26}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {3}, number = {8}, editor = {Auer, Peter and Hutter, Marcus and Orseau, Laurent}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.8.1}, URN = {urn:nbn:de:0030-drops-43409}, doi = {10.4230/DagRep.3.8.1}, annote = {Keywords: Machine Learning, Reinforcement Learning, Markov Decision Processes, Planning} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Ekaterina Auer and Wolfram Luther. Numerical Verification Assessment in Computational Biomechanics. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{auer_et_al:DagSemProc.08021.15, author = {Auer, Ekaterina and Luther, Wolfram}, title = {{Numerical Verification Assessment in Computational Biomechanics}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.15}, URN = {urn:nbn:de:0030-drops-14374}, doi = {10.4230/DagSemProc.08021.15}, annote = {Keywords: Numerical verification assessment, validation, uncertainty, result verification} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Andreas Rauh, Johanna Minisini, and Eberhard P. Hofer. Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{rauh_et_al:DagSemProc.08021.21, author = {Rauh, Andreas and Minisini, Johanna and Hofer, Eberhard P.}, title = {{Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.21}, URN = {urn:nbn:de:0030-drops-14529}, doi = {10.4230/DagSemProc.08021.21}, annote = {Keywords: Interval techniques, \{sc\{ValEncIA-IVP\}\}, controller design, robustness, validated integration of ODEs, parameter uncertainties, sensitivity analysis} }
Feedback for Dagstuhl Publishing