Sort By
Menampilkan 1 - 3 of 3 untuk pencarian: 'Sanjit A. Seshia', lama mencari: 0.04s
Experiments for 'Enforcing Almost-Sure Reachability in POMDPs'
oleh Sebastian Junges , Nils Jansen , Sanjit A. Seshia
Learning and Visualizing Music Specifications Using Pattern Graphs
oleh Rafael Valle , Daniel J. Fremont , Ilge Akkaya , Alexandre Donzé , Adrian Freed , Sanjit A. Seshia
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