Vojtěch Forejt

Computer Science · Physical Sciences

25h-index1.9kcitations67works0.52yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(57), Software Reliability and Analysis Research(20), Petri Nets in System Modeling(18), Logic, programming, and type systems(15), Advanced Software Engineering Methodologies(13)

Publications67 total

Learning Algorithms for Verification of Markov Decision Processes
TheoretiCS·2025· 1 citedOpen Access
Learning Algorithms for Verification of Markov Decision Processes
arXiv (Cornell University)·2024Open Access
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
Logical Methods in Computer Science·2018· 1 citedOpen Access
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
SHILAP Revista de lepidopterología·2018· 5 citedOpen Access
Model Checking Probabilistic Systems
2018· 99 cited
Schedulability of Bounded-Rate Multimode Systems
ACM Transactions on Embedded Computing Systems·2017· 4 cited
Trading performance for stability in Markov decision processes
Journal of Computer and System Sciences·2016· 25 citedOpen Access
Decidability Results for Multi-objective Stochastic Games
arXiv (Cornell University)·2016Open Access
Expected reachability-time games
Theoretical Computer Science·2016· 11 citedOpen Access
Stability in Graphs and Games
arXiv (Cornell University)·2016· 1 citedOpen Access
Stability in Graphs and Games
arXiv (Cornell University)·2016Open Access
Stability in Graphs and Games
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2016· 4 citedOpen Access
Decidability Results for Multi-objective Stochastic Games
Lecture notes in computer science·2016· 6 cited
Controller synthesis for MDPs and Frequency LTL$\setminus$GU
arXiv (Cornell University)·2015Open Access
Permissive Controller Synthesis for Probabilistic Systems
Logical Methods in Computer Science·2015· 29 citedOpen Access
On Frequency LTL in Probabilistic Systems
arXiv (Cornell University)·2015· 2 citedOpen Access
MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
arXiv (Cornell University)·2015· 1 citedOpen Access
MultiGain: A controller synthesis tool for MDPs with multiple\n mean-payoff objectives
arXiv (Cornell University)·2015Open Access
Controller Synthesis for MDPs and Frequency LTL $$_{\setminus \mathbf{G}\mathbf U}$$
Lecture notes in computer science·2015· 3 cited
MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives
Lecture notes in computer science·2015· 25 cited
page 1 of 4Next →

Frequent Co-authors

Tomǎš Brázdil(20), Antonı́n Kučera(18), Marta Kwiatkowska(15), David Parker(11), Krishnendu Chatterjee(10), Václav Brožek(8), Jan Křetínský(6), Mateusz Ujma(5), Taolue Chen(5), Aistis Simaitis(5), Jan Krčál(5), Ashutosh Trivedi(4), Petr Jančar(4), Stefan Kiefer(4), James Worrell(4), Gethin Norman(3), Martin Chmelík(2), Hongyang Qu(2), Klaus Dräger(2), Rajeev Alur(2)