Nathalie Bertrand (INRIA Rennes)

Identifiers

• name variant Nathalie Bertrand (INRIA Rennes) 0.60 · backfill

Papers (1)

1. Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability cs.FL · 2009 · author #2

Mentions

• 0907.4760 #2 · backfill · confidence 0.70 Nathalie Bertrand (INRIA Rennes)

Frequent Coauthors

• Christel Baier (Technische Universit\"at Dresden) 1 shared papers
• Marcus Gr\"o{\ss}er (Technische Universit\"at Dresden) 1 shared papers