Filtrer vos résultats
- 9
- 1
- 8
- 1
- 1
- 10
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 10
- 5
- 3
- 1
- 1
- 1
- 10
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
10 résultats
|
|
triés par
|
|
Safe Learning for Near-Optimal Scheduling18th International Conference on Quantitative Evaluation of Systems (QEST 2021), Aug 2021, Paris, France. pp.235-254, ⟨10.1007/978-3-030-85172-9_13⟩
Communication dans un congrès
hal-04442197v1
|
||
|
Robust Controller Synthesis in Timed Büchi Automata: A Symbolic ApproachCAV 2019 - 31st International Conference on Computer Aided Verification, Jul 2019, New-York, United States. pp.572-590, ⟨10.1007/978-3-030-25540-4_33⟩
Communication dans un congrès
hal-02264083v1
|
||
|
Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2023), May 2023, London, United Kingdom. pp.1354-1362
Communication dans un congrès
hal-04442470v1
|
||
|
Symbolic Approximation of Weighted Timed Games38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018), Dec 2018, Ahmedabad, India. ⟨10.4230/LIPIcs.FSTTCS.2018.28⟩
Communication dans un congrès
hal-02014051v1
|
||
|
Strategy Synthesis for Global Window PCTL49th International Colloquium on Automata, Languages, and Programming (ICALP 2022), Aug 2022, Paris, France. pp.115:1--115:20, ⟨10.4230/LIPIcs.ICALP.2022.115⟩
Communication dans un congrès
hal-04442282v1
|
||
|
Optimal Reachability in Divergent Weighted Timed Games20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'17), Apr 2017, Uppsala, Sweden. pp.162-178, ⟨10.1007/978-3-662-54458-7_10⟩
Communication dans un congrès
hal-01522546v1
|
||
|
Optimal controller synthesis for timed systemsLogical Methods in Computer Science, 2023, Volume 19, Issue 1, ⟨10.46298/lmcs-19(1:20)2023⟩
Article dans une revue
hal-04442588v1
|
||
|
Monte Carlo Tree Search Guided by Symbolic Advice for MDPs31st International Conference on Concurrency Theory (CONCUR 2020), Sep 2020, Vienna, Austria. pp. 40:1-40:24, ⟨10.4230/LIPIcs.CONCUR.2020.40⟩
Communication dans un congrès
hal-04442018v1
|
||
|
Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023), Oct 2023, Singapore, Singapore. pp.203-223, ⟨10.1007/978-3-031-45329-8_10⟩
Communication dans un congrès
hal-04442545v1
|
||
|
Symbolic controller synthesis for timed systems: robustness and optimalityComputer Science and Game Theory [cs.GT]. Aix Marseille Université, 2019. English. ⟨NNT : ⟩
Thèse
tel-02436831v1
|