GitHub repository: pyrddlgym-project/pyRDDLGym-symbolic
Primary language: Python
Created: 2024-02-08T04:04:52Z
Description: Symbolic compilation of RDDL domains, Dynamic Bayes net (DBN) visualization, symbolic dynamic programming (SDP).