Counterexample classification
Crossref DOI link: https://doi.org/10.1007/s10270-023-01118-0
Published Online: 2023-07-26
Published Print: 2024-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Vick, Cole http://orcid.org/0000-0003-4436-8360
Kang, Eunsuk
Tripakis, Stavros
Funding for this research was provided by:
National Science Foundation (CNS-1801546)
Text and Data Mining valid from 2023-07-26
Version of Record valid from 2023-07-26
Article History
Received: 10 June 2022
Revised: 26 June 2023
Accepted: 28 June 2023
First Online: 26 July 2023