Sort By
Menampilkan 1 - 5 of 5 untuk pencarian: 'Sebastian Junges', lama mencari: 0.04s
Experiments for 'Enforcing Almost-Sure Reachability in POMDPs'
oleh Sebastian Junges , Nils Jansen , Sanjit A. Seshia
Experiments for 'Are parametric Markov chains monotonic?'
oleh Jip Spel , Sebastian Junges , Joost-Pieter Katoen
Experiments for 'Verification of indefinite-horizon POMDPs'
oleh Alexander Bork , Sebastian Junges , Joost-Pieter Katoen , Tim Quatmann
Experiments for Convex Optimization for Parameter Synthesis in MDPs
oleh Murat Cubuktepe , Nils Jansen , Sebastian Junges , Joost-Pieter Katoen , Ufuk Topcu
Experiments for 'Model Checking Finite-Horizon Markov Chains with Probabilistic Inference'
oleh Steven Holtzen , Sebastian Junges , Marcell Vazquez-Chanlatte , Todd Millstein , Sanjit A. Seshia , Guy Van den Broeck
IOS Links
Opsi Pencarian
Temukan Lebih Banyak
Butuh Bantuan?
© 2022 Perpustakaan Nasional Republik Indonesia