Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andrew S. Miner
conf.researchr.org general profile
APLAS & ATVA 2026 profile
ICSE 2022 profile
Not registered as user
Name:
Andrew S.
Miner
Affiliation:
Iowa State University
Contributions
2026
APLAS
Author of Extending PRCTL with conditional expected reward operators within the ATVA Research Papers-track
2022
ICSE
Author of Inference and Test Generation Using Program Invariants in Chemical Reaction Networks within the Technical Track-track
Share
x
Wed 28 Oct 05:51