Kristin Y. Rozier, Ph.D.
Affiliations: | 2012 | Computer Science | Rice University, Houston, TX |
Area:
Computer Science, Computer Engineering, Applied MathematicsGoogle:
"Kristin Rozier"Parents
Sign in to add mentorMoshe Y. Vardi | grad student | 2012 | Rice University | |
(Explicit or Symbolic Translation of Linear Temporal Logic to Automata.) |
BETA: Related publications
See more...
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 |