Computer Science – Computer Science and Game Theory
Scientist
Computer Science
Computer Science and Game Theory
Scientist
UPM
UPM, Madrid, Spain
Model checking for Process Rewrite Systems and a class of action--based regular properties
New results on pushdown module checking with imperfect information
Opacity Issues in Games with Imperfect Information
Refinement Modal Logic
Verification of Process Rewrite Systems in normal form
No associations
LandOfFree
Laura Bozzelli does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Laura Bozzelli, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Laura Bozzelli will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-56506