Kristin Y. Rozier

Identifiers

• name variant Kristin Y. Rozier 0.50 · backfill

Papers (1)

1. SAT-based Explicit LTLf Satisfiability Checking cs.LO · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Geguang Pu 1 shared papers
• Jianwen Li 1 shared papers
• Moshe Y. Vardi 1 shared papers
• Yueling Zhang 1 shared papers