TY  - RPRT
TI  - Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
AU  - Ondřej Vašíček
AU  - Joaquin Arias
AU  - Jan Fiedor
AU  - Gopal Gupta
AU  - Brendan Hall
AU  - Bohuslav Křena
AU  - Brian Larson
AU  - Sarat Chandra Varanasi
AU  - Tomáš Vojnar
PY  - 2024
UR  - https://arxiv.org/abs/2408.09909
ID  - 2408.09909
ER  -