Automated Formalization of Probabilistic Requirements from Structured Natural Language

Anastasia Mavridou, Marie Farrell, Gricel Vázquez +4

Integrating autonomous and adaptive behavior into software-intensive systems presents significant challenges for software development, as uncertainties in the environment or decisi…