Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Realisability-Driven Repair of Natural-Language Requirements via Neuro-Symbolic Reasoning

Reviewed Paper In Proceedings
Author(s):Tianhai Liu, Andreas Bremer, Ivan Panov, Alexander Weigl, Shmuel Tyszberowicz, and Bernhard Beckert
In:Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA)
Year:2026

Note

Accepted

BibTeX

@inproceedings{LiuEtAl2026RealisabilityRepair,
  author    = {Tianhai Liu and Andreas Bremer and Ivan Panov and Alexander Weigl and Shmuel Tyszberowicz and Bernhard Beckert},
  title     = {Realisability-Driven Repair of Natural-Language Requirements via Neuro-Symbolic Reasoning},
  booktitle = {Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA)},
  year      = {2026},
  note      = {Accepted}
}