Computer Science – Computer Science and Game Theory
Scientist
Computer Science
Computer Science and Game Theory
Scientist
Approximating the Termination Value of One-Counter MDPs and Stochastic Games
Efficient Analysis of Probabilistic Programs with an Unbounded Counter
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
Fixed-delay Events in Generalized Semi-Markov Processes Revisited
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata
No associations
LandOfFree
Tomáš Brázdil does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Tomáš Brázdil, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tomáš Brázdil will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-14986