13 citations · 17 across the 6 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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…