☰

Kristin Y. Rozier, Ph.D.

Affiliations: 
2012 Computer Science Rice University, Houston, TX 
Area:
Computer Science, Computer Engineering, Applied Mathematics
Google:
"Kristin Rozier"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Moshe Y. Vardi grad student 2012 Rice University
 (Explicit or Symbolic Translation of Linear Temporal Logic to Automata.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Li J, Pu G, Zhang Y, et al. (2020) SAT-based Explicit LTLf Satisfiability Checking Artificial Intelligence. 103369
Bayram U, Rozier KY, Rozier EWD. (2015) Characterizing data dependence constraints for dynamic reliability using N-queens attack domains Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9259: 211-227
Zhao Y, Rozier KY. (2015) Probabilistic model checking for comparative analysis of automated air traffic control systems Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 2015: 690-695
Zhao Y, Rozier KY. (2014) Formal specification and verification of a coordination protocol for an automated air traffic control system Science of Computer Programming. 96: 337-353
Rozier KY, Vardi MY. (2013) Deterministic compilation of temporal safety properties in explicit state model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7857: 243-259
Rozier KY. (2011) Linear Temporal Logic Symbolic Model Checking Computer Science Review. 5: 163-203
Rozier KY, Vardi MY. (2011) A multi-encoding approach for LTL symbolic satisfiability checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6664: 417-431
Rozier KY, Vardi MY. (2007) LTL satisfiability checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4595: 149-167
Rozier KY, Vardi MY. (2007) LTL satisfiability checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4595: 149-167
See more...