Double compression of models for interactive dynamic influence diagrams | IEEE Conference Publication | IEEE Xplore