94 citations · 165 across the 11 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
cs.LG2012★ 28 cited
Learning Markov Decision Processes for Model Checking
Hua Mao, Yingke Chen, Manfred Jaeger +3
Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed…
stat.ME2012
The AI&M Procedure for Learning from Incomplete Data
Manfred Jaeger
We investigate methods for parameter learning from incomplete data that is not missing at random. Likelihood-based methods then require the optimization of a profile likelihood tha…
cs.AI2012★ 8 cited
Lower Complexity Bounds for Lifted Inference
Manfred Jaeger
One of the big challenges in the development of probabilistic relational (or probabilistic logical) modeling and learning frameworks is the design of inference techniques that oper…