1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2025
Solving Set Constraints with Comprehensions and Bounded Quantifiers
Mudathir Mohamed, Nick Feng, Andrew Reynolds +3
Many real applications problems can be encoded easily as quantified formulas in SMT. However, this simplicity comes at the cost of difficulty during solving by SMT solvers. Differe…
cs.CY2025
LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements
Kevin Kolyakov, Lina Marsso, Nick Feng +2
Systems interacting with humans, such as assistive robots or chatbots, are increasingly integrated into our society. To prevent these systems from causing social, legal, ethical, e…
cs.SE2024★ 1 cited
Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
Nick Feng, Lina Marsso, Marsha Chechik
Satisfiability-based automated reasoning is an approach that is being successfully used in software engineering to validate complex software, including for safety-critical systems.…