1 citations · 1 across the 9 of their papers we have counts for
Showing 2026 · cs.LOShow all
2 papers · 2 filters
cs.LO2026
A proof-carrying architecture for synthetic genetic logic circuits under stochastic temporal contracts
Arman Ferdowsi, Laura Kovacs
Genetic design automation maps Boolean specifications to regulatory networks and DNA sequences, but a successful mapping does not establish the probability that every output remain…
cs.LO2026
Certificate-Aware Property-Directed Reachability
Arman Ferdowsi, Laura Kovacs
Property-Directed Reachability (PDR/IC3) is widely used for hardware safety verification. Most implementations optimize time-to-answer, but certified workflows also require compact…