Artikel dengan mandat akses publik - Vojtěch ForejtPelajari lebih lanjut
Tersedia di suatu tempat: 15
Verification of Markov decision processes using learning algorithms
T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ...
Automated Technology for Verification and Analysis: 12th International …, 2014
Mandat: Austrian Science Fund, UK Engineering and Physical Sciences Research Council …
Automatic verification of competitive stochastic systems
T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis
Formal Methods in System Design 43, 61-92, 2013
Mandat: UK Engineering and Physical Sciences Research Council
Two views on multiple mean-payoff objectives in Markov decision processes
T Br, K Chatterjee, V Forejt, A Kucera
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 33-42, 2011
Mandat: Austrian Science Fund
Precise predictive analysis for discovering communication deadlocks in MPI programs
V Forejt, D Kroening, G Narayanaswamy, S Sharma
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
Mandat: UK Engineering and Physical Sciences Research Council, European Commission
Permissive controller synthesis for probabilistic systems
K Drager, V Forejt, M Kwiatkowska, D Parker, M Ujma
Logical Methods in Computer Science 11, 2015
Mandat: UK Engineering and Physical Sciences Research Council, European Commission
Trading performance for stability in Markov decision processes
T Brázdil, K Chatterjee, V Forejt, A Kučera
Journal of Computer and System Sciences 84, 144-170, 2017
Mandat: Austrian Science Fund, UK Engineering and Physical Sciences Research Council
Multi-objective discounted reward verification in graphs and MDPs
K Chatterjee, V Forejt, D Wojtczak
International Conference on Logic for Programming Artificial Intelligence …, 2013
Mandat: Austrian Science Fund, UK Engineering and Physical Sciences Research Council
MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives
T Brázdil, K Chatterjee, V Forejt, A Kučera
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
Mandat: Austrian Science Fund
Markov decision processes with multiple long-run average objectives
T Brázdil, V Brožek, K Chatterjee, V Forejt, A Kučera
Logical Methods in Computer Science 10, 2014
Mandat: Austrian Science Fund, UK Engineering and Physical Sciences Research Council
Playing stochastic games precisely
T Chen, V Forejt, M Kwiatkowska, A Simaitis, A Trivedi, M Ummels
International Conference on Concurrency Theory, 348-363, 2012
Mandat: German Research Foundation
Controller Synthesis for MDPs and Frequency LTL
V Forejt, J Krčál, J Křetínský
Logic for Programming, Artificial Intelligence, and Reasoning, 162-177, 2015
Mandat: Austrian Science Fund, Chinese Academy of Sciences, German Research …
Expected reachability-time games
V Forejt, M Kwiatkowska, G Norman, A Trivedi
Theoretical Computer Science 631, 139-160, 2016
Mandat: UK Engineering and Physical Sciences Research Council, European Commission
Schedulability of bounded-rate multimode systems
R Alur, V Forejt, S Moarref, A Trivedi
ACM Transactions on Embedded Computing Systems (TECS) 16 (3), 1-27, 2017
Mandat: US National Science Foundation, UK Engineering and Physical Sciences …
Decidability results for multi-objective stochastic games
R Brenguier, V Forejt
Automated Technology for Verification and Analysis: 14th International …, 2016
Mandat: UK Engineering and Physical Sciences Research Council
Two Views on Multiple Mean-Payoff Objectives
T Brázdil, V Brožek, K Chatterjee, V Forejt, A Kučera
Mandat: Austrian Science Fund
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer