Bounded-memory runtime enforcement with probabilistic and performance analysis
Crossref DOI link: https://doi.org/10.1007/s10703-024-00446-1
Published Online: 2024-02-14
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Shankar, Saumya http://orcid.org/0000-0002-1455-4106
Pradhan, Ankit
Pinisetty, Srinivas
Rollet, Antoine
Falcone, Yliès
Text and Data Mining valid from 2024-02-14
Version of Record valid from 2024-02-14
Article History
Received: 30 December 2022
Accepted: 11 January 2024
First Online: 14 February 2024