The following pages link to Kristin Yvonne Rozier (Q1996029):
Displaying 11 items.
- (Q465679) (redirect page) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Embedding online runtime verification for fault disambiguation on Robonaut2 (Q1996030) (← links)
- SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking (Q2046017) (← links)
- Satisfiability checking for mission-time \textsf{LTL} (MLTL) (Q2105410) (← links)
- Incremental design-space model checking via reusable reachable state approximations (Q2149964) (← links)
- More scalable LTL model checking via discovering design-space dependencies \((D^3)\) (Q2324218) (← links)
- Optimized temporal monitors for SystemcC (Q2441724) (← links)
- Maximum satisfiability of mission-time linear temporal logic (Q6536429) (← links)
- Model predictive runtime verification for cyber-physical systems with real-time deadlines (Q6536435) (← links)
- Formalizing Coppersmith's method in Isabelle/HOL (Q6648162) (← links)
