Showing 1–20 of 129 results
/ Date/ Name
Nov 11, 2022Symbolic Verification and Strategy Synthesis for Turn-based Stochastic GamesDec 23, 2008Possible phase-sensitive tests of pairing symmetry in pnictide superconductorsOct 25, 2021Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian NoiseMar 8, 2012Thermoelectric properties of AgGaTe$_2$ and related chalcopyrite structure materialsOct 17, 2023Partially Observable Stochastic Games with Neural Perception MechanismsMay 22, 2024Tools at the Frontiers of Quantitative VerificationSep 12, 2023Using Reed-Muller Codes for Classification with Rejection and RecoveryAug 5, 2023Multi-Agent Verification and Control with Probabilistic Model CheckingApr 24, 2009Spin density wave coexistence and nodal lines in superconducting pnictidesSep 23, 2009Proposed experiment: out-of-plane nodal lines in Sr$_{2}$RuO$_{4}$Jan 4, 2023Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal AbstractionsJun 21, 2004Triplet superconductivity in the skutterudite PrOs_4Sb_12Apr 18, 2015Permissive Controller Synthesis for Probabilistic SystemsOct 21, 2013Importance of non-parabolic band effects in the thermoelectric properties of semiconductorsNov 16, 2012High three dimensional thermoelectric performance from low dimensional bandsJun 21, 2015Verification and Control of Partially Observable Probabilistic Real-Time SystemsAug 31, 2006Small $T_1^{-1}$ coherence peak near $T_c$ in unconventional superconductorsDec 19, 2025About Time: Model-free Reinforcement Learning with Timed Reward MachinesMay 14, 2020Probabilistic Guarantees for Safe Deep Reinforcement LearningAug 29, 2013Thermoelectric properties of $β$-FeSi$_{\text2}$