4 citations · 5 across the 4 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LG2021★ 1 cited
Learning Union of Integer Hypercubes with Queries (Technical Report)
Oliver Markgraf, Daniel Stan, Anthony W. Lin
We study the problem of learning a finite union of integer (axis-aligned) hypercubes over the d-dimensional integer lattice, i.e., whose edges are parallel to the coordinate axes.…
cs.FL2021
Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report)
Daniel Stan, Anthony Widjaja Lin
We present a general framework for modelling and verifying epistemic properties over parameterized multi-agent systems that communicate by truthful public announcements. In our fra…