Skip to main content

2 Result(s)

within Anthony W. Lin Remove this filter Artificial Intelligence Remove this filter Logics and Meanings of Programs Remove this filter Programming Languages, Compilers, Interpreters Remove this filter Software Engineering Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Parameterized Synthesis with Safety Properties

    Parameterized synthesis offers a solution to the problem of constructing correct and verified controllers for parameterized systems. Such systems occur naturally in practice (e.g., in the form of distributed p...

    Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin… in Programming Languages and Systems (2020)

  2. Chapter and Conference Paper

    Monadic Decomposition in Integer Linear Arithmetic

    Monadic decomposability is a notion of variable independence, which asks whether a given formula in a first-order theory is expressible as a Boolean combination of monadic predicates in the theory. Recently, V...

    Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu in Automated Reasoning (2020)

    Download PDF (390 KB) View Chapter