TY  - RPRT
TI  - LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements
AU  - Kevin Kolyakov
AU  - Lina Marsso
AU  - Nick Feng
AU  - Junwei Quan
AU  - Marsha Chechik
PY  - 2025
UR  - https://arxiv.org/abs/2501.12544
ID  - 2501.12544
ER  -