Posted By
Tags
- A
- Academic ranks in France
- ACCE
- Access control
- Achilleos
- Aix-Marseille University
- André Lhote
- ANR
- Antonis Achilleos
- Anton Phd
- Application
- Assistant
- Assistant professor
- Automata
- Based on
- Bug
- Calculus
- Camilo Nunez
- Campus
- Centre national de la recherche scientifique
- Charge
- Charles Maurras
- Cilia Thibault
- Determinism
- Development
- École normale supérieure de Lyon
- Ens
- E.T.
- Euclidean vector
- Extensions
- Finite-state transducer
- Fundamental
- Game theory
- GitLab
- HDR
- Idir
- Infectious Disease Research Institute
- Info
- Interns
- Investigator
- Jean-Marc
- Jekyll
- Karoliina Lehtinen
- Kyriakou
- Lehtinen
- Logic
- Maîtresse
- Martinez Anton
- Model checking
- Monadic
- New
- Nunez
- Obsolete
- Ockham
- Pages
- Permanent
- PHD
- Principal
- Principal investigator
- Probabilistic automaton
- Probability
- Processus
- Professor
- Recherche
- Research
- Research Institute of Computer Science and Random Systems
- Research topic
- Research topics
- Result
- Robustness
- Salvo Cilia
- Schneeberger
- Security
- Software
- Software system
- Something
- Something Wrong
- Student
- Summer
- Synthesis
- Systems
- Teacher
- Techniques
- Template
- Temporal
- Thanks
- Theory
- Thibault Schneeberger
- Thoma
- Thomas Colcombet
- TIMED
- Topic
- Topics
- Transducer
- UMR
- University
- Vector addition system
- Verification
- Weight function
- Welcome