Meghyn Bienvenu
Papers
1
Total Citations
15
H-Index
1
About
No biography available yet.
Research Focus
Algorithm1 · 15 citations
Automaton1 · 15 citations
Computer science1 · 15 citations
Extension (predicate logic)1 · 15 citations
Finite-state machine1 · 15 citations
Linear temporal logic1 · 15 citations
Programming language1 · 15 citations
Quality (philosophy)1 · 15 citations
State (computer science)1 · 15 citations
Temporal logic1 · 15 citations
Theoretical computer science1 · 15 citations
Key Achievements
1
H-Index
1
Papers
15
Total Citations
15
Avg Citations/Paper
🏆 Most Cited Paper
Finite LTL Synthesis with Environment Assumptions and Quality Measures
15 citations · 2018
📈 Most Prolific Year: 2018 (1 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: Université de Montpellier
Top Papers
- 1Finite LTL Synthesis with Environment Assumptions and Quality Measures15 citations · 2018
Key Collaborators
Not generated yet