Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
Alternating Automata on Data Trees and XPath Satisfiability
Average-Time Games on Timed Automata
Linear Complementarity Algorithms for Infinite Games
Model Checking Probabilistic Timed Automata with One or Two Clocks
Reachability-time games on timed automata
No associations
LandOfFree
Marcin Jurdzinski does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Marcin Jurdzinski, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Marcin Jurdzinski will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-355548