Filtrer vos résultats
- 12
- 2
- 10
- 3
- 1
- 1
- 13
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 14
- 8
- 8
- 4
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 4
- 3
- 3
- 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
- 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
14 résultats
|
|
|
triés par
|
|
|
Distribution-based objectives for Markov Decision ProcessesLICS 2018, the 33rd Annual ACM/IEEE Symposium, Jul 2018, Oxford, United Kingdom. pp.36-45, ⟨10.1145/3209108.3209185⟩
Communication dans un congrès
hal-01933978v1
|
||
|
|
Fast zone-based algorithms for reachability in pushdown timed automata33rd International Conference on Computer-Aided Verification (CAV'2021), Jul 2021, Los Angeles, United States
Communication dans un congrès
hal-03283051v1
|
||
|
|
Revisiting Underapproximate Reachability for Multipushdown SystemsTools and Algorithms for the Construction and Analysis of Systems (TACAS), Apr 2020, Dublin, Ireland. pp.387-404, ⟨10.1007/978-3-030-45190-5_21⟩
Communication dans un congrès
hal-04540223v1
|
||
|
|
Combining Free choice and Time in Petri Nets[Research Report] INRIA Rennes - Bretagne Atlantique. 2017
Rapport
hal-01646913v1
|
||
|
|
Simulations for Event-Clock Automata33rd International Conference on Concurrency Theory (CONCUR 2022), Sep 2022, Varsovie, Poland. pp.13, ⟨10.4230/LIPIcs.CONCUR.2022.13⟩
Communication dans un congrès
hal-03772227v1
|
||
|
|
On Robustness for the Skolem and Positivity ProblemsSTACS 2022 - 39th International Symposium on Theoretical Aspects of Computer Science, May 2022, Marseille, France. pp.1-20, ⟨10.4230/LIPIcs.STACS.2022.5⟩
Communication dans un congrès
hal-03695798v1
|
||
|
|
Combining Free choice and Time in Petri Nets6th IFIP Working group on trends in Concurrency, Sep 2017, Berlin, Germany
Communication dans un congrès
hal-01650751v1
|
||
|
|
Resilience of Timed SystemsFSTTCS 2021 - 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, IARCS, Dec 2021, Virtual Conference due to COVID, India. pp.1-22, ⟨10.4230/LIPIcs.FSTTCS.2021.33⟩
Communication dans un congrès
hal-03439247v1
|
||
|
|
Classification among Hidden Markov ModelsFSTTCS 2019 - 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2019, Bombay, India. pp.1-14, ⟨10.4230/LIPIcs.FSTTCS.2019.29⟩
Communication dans un congrès
hal-02350252v1
|
||
|
|
Approximate Verification of the Symbolic Dynamics of Markov ChainsJournal of the ACM (JACM), 2015, 62 (1), pp.34-65. ⟨10.1145/2629417⟩
Article dans une revue
hal-00920793v1
|
||
|
|
A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways9th International Conference on Computational Methods in Systems Biology, 2011, France. pp.35-44
Communication dans un congrès
hal-00672872v1
|
||
|
|
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation35th International Conference on Computer Aided Verification - CAV 2023, Jul 2023, Paris, France. pp.266 - 288, ⟨10.1007/978-3-031-37706-8_14⟩
Communication dans un congrès
hal-04257510v1
|
||
|
|
Operational Research: methods and applicationsJournal of the Operational Research Society, 2023, pp.1-195. ⟨10.1080/01605682.2023.2253852⟩
Article dans une revue
hal-04399101v1
|
||
|
|
DNA methylation networks underlying mammalian traitsScience, 2023, 381 (6658), ⟨10.1126/science.abq5693⟩
Article dans une revue
hal-04187844v1
|