Skip to content

Duligur Ibeling

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

5

Venues

5

Active years

2018–2020

Best venue rank

A*

Where they publish

Papers

5 indexed papers, newest first.

YearVenueTitleAuthors
2020AAAIProbabilistic Reasoning Across the Causal Hierarchy.Duligur Ibeling, Thomas Icard
2019CAVThe Marabou Framework for Verification and Analysis of Deep Neural Networks.Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljic, David L. Dill, Mykel J. Kochenderfer, Clark W. Barrett
2019UAIOn Open-Universe Causal Reasoning.Duligur Ibeling, Thomas Icard
2018IJCAIOn the Conditional Logic of Simulation Models.Duligur Ibeling, Thomas Icard
2018ILPCausal Modeling with Probabilistic Simulation Models.Duligur Ibeling