◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Centre Inria de l'Université de Rennes

France

17 papers here243 citations across 17
fields
  • cs.PL6
  • cs.LO3
  • cs.FL2
  • q-bio.QM2
  • cs.CE1
  • cs.CR1
  • cs.NE1
  • math.AP1
ROR 04040yw90OpenAlex

affiliations via OpenAlex

output
20072013
most citedStatistical Model Checking for Stochastic Hybrid Systems

85 citations

researchers with a paper here
  • Axel Legay2 profiles2 · h 47
  • Hervé Grall2 profiles2 · h 7
  • N. Bertrand2 · h 24
  • Alain Girault1
  • Alexandre Cortier1
  • Alexandre David1
  • Ana‐Elena Rugina1
  • Anne Siegel1
  • A. Roumy1
  • A. Wąsowski1
  • Carito Guziołowski1
  • C. Baier1 · h 45
collaborating institutions
  • Institut national de recherche en sciences et technologies du numériqueFR16 papers
  • Institut de Recherche en Informatique et Systèmes AléatoiresFR4 papers
  • Centre National de la Recherche ScientifiqueFR3 papers
  • Université de RennesFR3 papers
  • Aalborg UniversityDK2 papers
  • Centre Inria de l'Université Grenoble AlpesFR1 paper
  • Centrum Wiskunde & InformaticaNL1 paper
  • DYLISS: Dynamics, Logics and Inference for biological Systems and SequencesFR1 paper
  • East China Normal UniversityCN1 paper
  • École Centrale de NantesFR1 paper
  • École Nationale Supérieure des Mines de ParisFR1 paper
  • European Bioinformatics InstituteGB1 paper
Showing 2009Show all

1 paper · 1 filter

cs.FL2009★ 10 cited

Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability

Christel Baier, Nathalie Bertrand, Marcus Größer

Probabilistic omega-automata are variants of nondeterministic automata for infinite words where all choices are resolved by probabilistic distributions. Acceptance of an infinite i…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.