Professor, Aix-Marseille University Teaching at the Computer Science department of the Faculty of Science Researcher at LIS, member of the MoVe team
LIS, Aix-Marseille Université - Cité(e) 1 179 fois - Formal verification - Logic and automata theory
Aug 27, 2024 · List of computer science publications by Pierre-Alain Reynier.
Professor, Aix-Marseille University. Teaching at the Computer Science department of the Faculty of Science. Researcher at LIS, member of the MoVe team.
Pierre-alain Reynier
Affiliation: Aix-Marseille University
Research interests: Formal verification and Logic and automata theory
Skills and Expertise: Automata, Petri Nets, Model Checking, Formal Verification, Verification, Theoretical Computer Science, Transducers
Publication Topics. Finite Alphabet,Input Word,Forward Pass,Language Teaching,Neutral Element,Regular Language,State Machine,Abelian Group,Automata,Backward ...
Documents authored by Reynier, Pierre-Alain ; Minimizing Cost Register Automata over a Field · Yahia Idriss Benalioua, Nathan Lhote, and Pierre-Alain Reynier.
Pierre-Alain Reynier. Affiliation: Aix-Marseille Université. Web page: http://pageperso.lis-lab.fr/~pierre-alain.reynier/. Pages in this Program. Program.
Mar 11, 2024 · Synthesis of Robust Optimal Strategies in Weighted Timed Games. Authors:Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier.