Sort By
Menampilkan 1 - 7 of 7 untuk pencarian: 'Katoen, Joost-Pieter', lama mencari: 0.05s
Multi-objective Optimization of Long-run Average and Total Rewards: Supplemental Material
oleh Quatmann, Tim , Katoen, Joost-Pieter
Artifact for VMCAI'22 submission "Out of Control: Reducing Probabilistic Models by Control-State Elimination"
oleh Winkler, Tobias , Lehmann, Johannes , Katoen, Joost-Pieter
Markov Automata with Multiple Objectives: Supplemental Material
oleh Quatmann, Tim , Junges, Sebastian , Katoen, Joost-Pieter
Principles of model chacking
oleh Christel & Joest Pieter Katoen BAIER
Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact
oleh Hartmanns, Arnd , Junges, Sebastian , Katoen, Joost-Pieter , Quatmann, Tim
Artifact for "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees"
oleh Basgöze, Daniel , Volk, Matthias , Katoen, Joost-Pieter , Khan, Shahid , Stoelinga, Marielle
IOS Links
Opsi Pencarian
Temukan Lebih Banyak
Butuh Bantuan?
© 2022 Perpustakaan Nasional Republik Indonesia