Filtrer vos résultats
- 32
- 14
- 33
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 46
- 1
- 6
- 7
- 4
- 3
- 6
- 1
- 5
- 4
- 6
- 1
- 1
- 1
- 46
- 43
- 43
- 4
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 46
- 11
- 9
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
46 résultats
|
|
triés par
|
|
Assume-admissible synthesisActa Informatica, 2016, ⟨10.1007/s00236-016-0273-2⟩
Article dans une revue
hal-01373538v1
|
||
|
Improved Complexity Results and an Efficient Solution for Connected Multi-Agent Path FindingAAMAS 2023 - 22nd International Conference on Autonomous Agents and Multiagent Systems, May 2023, London, United Kingdom. pp.1-9
Communication dans un congrès
hal-04075393v1
|
||
|
Complexity of planning for connected agents in a partially known environmentTheoretical Computer Science, 2023, 941, pp.202-220. ⟨10.1016/j.tcs.2022.11.015⟩
Article dans une revue
hal-03930625v1
|
||
Method and system for testing the operation of a target computer system by using timed requirementsFrance, Patent n° : EP 3 907 615 B1. 2022
Brevet
hal-04306225v1
|
|||
|
Long-run Satisfaction of Path PropertiesLICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. pp.1-31, ⟨10.1109/LICS.2019.8785672⟩
Communication dans un congrès
hal-02349456v1
|
||
|
Admissibility in Quantitative Graph Games36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2016, Chennai, India
Communication dans un congrès
hal-01373542v1
|
||
|
Probabilistic Robust Timed Games2014
Rapport
hal-01010813v1
|
||
Assume-Admissible Synthesis26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain. pp.100--113, ⟨10.4230/LIPIcs.CONCUR.2015.100⟩
Communication dans un congrès
hal-01245193v1
|
|||
|
Symbolic Quantitative Robustness Analysis of Timed AutomataTools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), Apr 2015, London, United Kingdom. ⟨10.1007/978-3-662-46681-0_48⟩
Communication dans un congrès
hal-01244766v1
|
||
|
Repairing Real-Time RequirementsATVA 2022 - 20th International Symposium on Automated Technology for Verification and Analysis, Oct 2022, Beijing, China. pp.1-16
Communication dans un congrès
hal-03777464v1
|
||
|
Reachability and Coverage Planning for Connected AgentsAAMAS 2019 - 18th International Conference on Autonomous Agents and MultiAgent Systems, May 2019, Montreal, Canada. pp.1874-1876
Communication dans un congrès
hal-02349490v1
|
||
|
Non-Zero Sum Games for Reactive SynthesisLATA 2016 : 10th International Conference on Language and Automata Theory and Applications, Mar 2016, Prague, Czech Republic. pp.3-23, ⟨10.1007/978-3-319-30000-9_1⟩
Communication dans un congrès
hal-01373546v1
|
||
|
Percentile queries in multi-dimensional Markov decision processesFormal Methods in System Design, 2017, 50 (2-3), pp.207 - 248. ⟨10.1007/s10703-016-0262-7⟩
Article dans une revue
hal-01911673v1
|
||
|
Non-blind Strategies in Timed Network Congestion GamesFORMATS 2022 - International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2022, Warsaw, Poland. pp.183-199, ⟨10.1007/978-3-031-15839-1_11⟩
Communication dans un congrès
hal-03776452v1
|
||
|
Contributions on Formal Methods for Timed and Probabilistic SystemsComputer Science [cs]. Université de Rennes, 2023
HDR
tel-04310389v1
|
||
|
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision ProcessesLICS '18 - 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.86-94, ⟨10.1145/3209108.3209184⟩
Communication dans un congrès
hal-01883409v1
|
||
|
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
|
||
|
An Abstraction Technique For Parameterized Model Checking of Leader Election Protocols: Application to FTSP23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Apr 2017, Uppsala, Sweden. pp.23-40
Communication dans un congrès
hal-01431472v1
|
||
|
The variance-penalized stochastic shortest path problemICALP 2022 - 49th International Colloquium on Automata, Languages, and Programming, Jul 2022, Paris / Hybrid, France. pp.1-19
Communication dans un congrès
hal-03776449v1
|
||
|
Dynamic network congestion gamesFSTTCS 2020 - 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2020, Goa, India
Communication dans un congrès
hal-02980833v1
|
||
|
Semilinear Representations for Series-Parallel Atomic Congestion GamesFSTTCS 2022 - 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2022, Chennai, France. pp.1-20, ⟨10.4230/LIPIcs.FSTTCS.2022.32⟩
Communication dans un congrès
hal-03937259v1
|
||
|
Complexity of planning for connected agentsAutonomous Agents and Multi-Agent Systems, 2020, 34 (2), ⟨10.1007/s10458-020-09468-5⟩
Article dans une revue
hal-03003144v1
|
||
|
Admissiblity in Concurrent GamesICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Jul 2017, Warsaw, Poland. pp.123:1-123:14, ⟨10.4230/LIPIcs.ICALP.2017.123⟩
Communication dans un congrès
hal-01598148v1
|
||
|
Robustness in timed automata : analysis, synthesis, implementationOther [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. English. ⟨NNT : 2013DENS0016⟩
Thèse
tel-00910333v1
|
||
|
Percentile Queries in Multi-dimensional Markov Decision Processes27th International Conference on Computer Aided Verification (CAV 2015), Jul 2015, San Francisco, United States. ⟨10.1007/978-3-319-21690-4_8⟩
Communication dans un congrès
hal-01245196v1
|
||
|
Incremental methods for checking real-time consistencyFORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienne, Austria. pp.1-18
Communication dans un congrès
hal-02894772v1
|
||
|
Compositional model checking of SDN platform2021
Pré-publication, Document de travail
hal-03153317v1
|
||
|
Performance Evaluation of Metro Regulations Using Probabilistic Model-checkingRSSRail 2019 - International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification, Jun 2019, Lille, France. pp.59-76, ⟨10.1007/978-3-030-18744-6_4⟩
Communication dans un congrès
hal-02065365v1
|
||
|
Planning for Connected Agents in a Partially Known EnvironmentAI 2021 - 34th Canadian Conference on Artificial Intelligence, May 2021, Vancouver / Virtual, Canada. pp.1-23
Communication dans un congrès
hal-03205744v1
|
||
|
Admissible Strategies in Timed GamesModels, Algorithms, Logics and Tools., Jul 2017, Aalborg, Denmark. pp.403-425
Communication dans un congrès
hal-01515874v1
|
- 1
- 2