Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
ULB
A Classification of Symbolic Transition Systems
Antichains for the Automata-Based Approach to Model-Checking
Event-Clock Automata: From Theory to Practice
Generalized Mean-payoff and Energy Games
Iterated Regret Minimization in Game Graphs
No associations
LandOfFree
Jean-François Raskin does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Jean-François Raskin, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jean-François Raskin will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-153108