Zum Inhalt springen

  1. Fränzle, Martin [VerfasserIn]; Shirmohammadi, Mahsa [VerfasserIn]; Swaminathan, Mani [VerfasserIn]; Worrell, James [VerfasserIn] ; Martin Fränzle and Mahsa Shirmohammadi and Mani Swaminathan and James Worrell [MitwirkendeR]

    Costs and Rewards in Priced Timed Automata

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  3. Fränzle, Martin [VerfasserIn]; Shirmohammadi, Mahsa [VerfasserIn]; Swaminathan, Mani [VerfasserIn]; Worrell, James [VerfasserIn]

    Costs and Rewards in Priced Timed Automata

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2018

    Erschienen in: De.arxiv.org ; 2018 (5. Mrz), insges. 22 S.

  4. Fränzle, Martin [VerfasserIn]; Shirmohammadi, Mahsa [VerfasserIn]; Swaminathan, Mani [VerfasserIn]; Worrell, James [VerfasserIn]

    Costs and rewards in priced timed automata

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Carl von Ossietzky Universität Oldenburg: /oops/ - Oldenburger Online-Publikations-Server, 2018-04-29

  15. Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Stenman, Jari

    Language and Automata Theory and Applications: Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2014

    Erschienen in: Language and Automata Theory and Applications

  17. Jensen, Peter Gjøl; Kiviriga, Andrej; Guldstrand Larsen, Kim; Nyman, Ulrik; Mijačika, Adriana; Høiriis Mortensen, Jeppe

    Quantitative Evaluation of Systems: Monte Carlo Tree Search for Priced Timed Automata

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2022

    Erschienen in: Quantitative Evaluation of Systems

  19. Zhang, Zhengkui; Nielsen, Brian; Larsen, Kim Guldstrand; Nies, Gilles; Stenger, Marvin; Hermanns, Holger

    Formal Methods and Software Engineering: Pareto Optimal Reachability Analysis for Simple Priced Timed Automata

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2017

    Erschienen in: Formal Methods and Software Engineering

  20. Kwiatkowska, Marta; Norman, Gethin; Parker, David

    Lecture Notes in Computer Science: Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2017

    Erschienen in: Lecture Notes in Computer Science