Author of the publication

Incremental Analysis for Probabilistic Programs.

, , and . SAS, volume 10422 of Lecture Notes in Computer Science, page 450-472. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Dual-View Knowledge Enhancing Self-Attention Network for Sequential Recommendation., , , , and . ICTAI, page 832-839. IEEE, (2022)Incremental Static Analysis of Probabilistic Programs.. University of New South Wales, Sydney, Australia, (2019)base-search.net (ftunswworks:oai:unsworks.library.unsw.edu.au:1959.4/64244).A fast and stable algorithm for downdating the singular value decomposition., , , , and . Comput. Math. Appl., 68 (10): 1421-1430 (2014)Incremental precision-preserving symbolic inference for probabilistic programs., and . PLDI, page 237-252. ACM, (2019)Temporal Task Graph Based Dynamic Agent Allocation for Applying Behavior Trees in Multi-agent Games., , , , and . ICONIP (8), volume 1962 of Communications in Computer and Information Science, page 124-135. Springer, (2023)Diverse Effective Relationship Exploration for Cooperative Multi-Agent Reinforcement Learning., , , , , and . CIKM, page 842-851. ACM, (2022)Optimizing 3D Mantle Convection Simulations on Multi-cores., , , , , , and . HPCC/DSS/SmartCity/DependSys, page 154-161. IEEE, (2023)A Monitoring Method Integrating Terrestrial Laser Scanning and Unmanned Aerial Vehicles for Different Landslide Deformation Patterns., , , , , , and . IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., (2021)Combined Reinforcement Learning via Artificial Potential Field: A Case Study in Pommerman., , , and . ISCAS, page 1-5. IEEE, (2021)