conftrace_

specification language

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

semantic round-tripping (1) logic grammar (1) bidirectional grammar (1) text specification (1) service regulation (1) rule modeling (1) automated regulation (1) bidirectional transformation (1) large language model (1) robot task (1)

Papers

Horae: A Domain-Agnostic Language for Automated Service Regulation IJCAI 2025 Lossless Semantic Round-Tripping in PENG ASP IJCAI 2020 A Composable Specification Language for Reinforcement Learning Tasks NeurIPS 2019