Miller, Kristina
1049  Ergebnisse:
Personensuche X
?
3

RTAEval: A Framework for Evaluating Runtime Assurance Logic:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
 
?
6

Multi-agent motion planning using differential games with l..:

, In: 2022 IEEE 61st Conference on Decision and Control (CDC),
Miller, Kristina ; Mitra, Sayan - p. 5751-5756 , 2022
 
?
7

Fast and Guaranteed Safe Controller Synthesis for Nonlinear..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Fan, Chuchu ; Miller, Kristina ; Mitra, Sayan - p. 629-652 , 2020
 
?
10

The Creation of an Interprofessional Evidence-Based Practic..:

Copeland, Donna ; Miller, Kristina ; Clanton, Clista
JONA: The Journal of Nursing Administration.  50 (2020)  1 - p. 12-15 , 2020
 
?
11

Crowd-Sourced Data and Analysis Tools for Advancing the Che..:

Schiller, Joshua A. ; Toro, Ricardo ; Shah, Aagam...
ACS Applied Nano Materials.  3 (2020)  10 - p. 10144-10155 , 2020
 
?
14

A Standardized Education Checklist for Parents of Children ..:

Rodgers, Cheryl ; Bertini, Vanessa ; Conway, Mary Ashe...
Journal of Pediatric Oncology Nursing.  35 (2018)  4 - p. 235-246 , 2018
 
1-15