Kristin Yvonne Rozier

MaRDI QIDQ1996029zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formalizing MLTL formula progression in Isabelle/HOL	2026-02-19	Paper
Stalnaker's epistemic logic in Isabelle/HOL	2025-09-03	Paper
Formalizing Coppersmith's method in Isabelle/HOL	2024-12-04	Paper
Maximum satisfiability of mission-time linear temporal logic	2024-05-03	Paper
Model predictive runtime verification for cyber-physical systems with real-time deadlines	2024-05-03	Paper
Satisfiability checking for mission-time LTL Computer Aided Verification	2024-02-16	Paper
Satisfiability checking for mission-time \textsf{LTL} (MLTL) Information and Computation	2022-12-08	Paper
Incremental design-space model checking via reusable reachable state approximations Formal Methods in System Design	2022-06-27	Paper
SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking Artificial Intelligence	2021-08-16	Paper
Embedding online runtime verification for fault disambiguation on Robonaut2	2021-03-02	Paper
More scalable LTL model checking via discovering design-space dependencies \((D^3)\)	2019-09-16	Paper
Linear temporal logic symbolic model checking Computer Science Review	2014-10-24	Paper
Optimized temporal monitors for SystemcC Formal Methods in System Design	2014-03-28	Paper

Research outcomes over time

This page was built for person: Kristin Yvonne Rozier