Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
INRIA / Irisa Rennes
Aalborg University and INRIA Rennes
INRIA Rennes, France / Aalborg University, Denmark
INRIA, Rennes
A Few Considerations on Structural and Logical Composition in Specification Theories
A Framework to Handle Linear Temporal Properties in (ω-)Regular Model Checking
Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach
Cross-entropy optimisation of importance sampling parameters for statistical model checking
Distributed Parametric and Statistical Model Checking
No associations
LandOfFree
Axel Legay does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Axel Legay, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Axel Legay will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-239325