Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jan Křetínský
Stochastic Real-Time Games With Qualitative Timed Automata Objectives
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Real-Time Control With Parametric Timed Reachability Games
IFAC Proceedings Volumes
Real-Time Scheduling of Energy Harvesting Embedded Systems With Timed Automata
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Communications of the ACM
Computer Science
A Method for Testing Real-Time System Based on Timed Automata
Ruan Jian Xue Bao/Journal of Software
Software
A Survey of Stochastic Games With Limsup and Liminf Objectives
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fuzzy-Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Continuous-Time Stochastic Games
Games and Economic Behavior
Economics
Econometrics
Finance
Discrete Timed Automata
Timed Unfoldings for Networks of Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
