Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Miller, Kristina
25  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Optimal Runtime Assurance via Reinforcement Learning:

, In: 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS),
Miller, Kristina ; Zeitler, Christopher K. ; Shen, William... - p. 67-76 , 2024
Link: https://doi.org/10.1109/..
 
?
2

RTAEval: A Framework for Evaluating Runtime Assurance Logic:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Miller, Kristina ; Zeitler, Christopher K. ; Shen, William.. - p. 302-313 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Sensor Safety and Multi-Objective Satellite Control under N..:

, In: 2023 American Control Conference (ACC),
Miller, Kristina ; Brewer, John Matthew ; Soderlund, Alexander A.. - p. 4284-4289 , 2023
Link: https://doi.org/10.23919..
 
?
4

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
Link: https://doi.org/10.1109/..
 
?
5

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
Link: https://doi.org/10.1007/..
 
?
6

On conducting management-relevant mechanistic science for u..:

, In: Conservation Physiology,
Cooke, Steven J. ; Raby, Graham D. ; Bett, Nolan N.... - p. 35-56 , 2020
Link: https://doi.org/10.1093/..
 
?
7

Rapid Technology Maturation using the ESRA CubeSat Mission:

, In: 2024 IEEE Aerospace Conference,
Maldonado, Carlos A. ; Deming, Jonathan ; Mosley, Brooke N.... - p. 1-19 , 2024
Link: https://doi.org/10.1109/..
 
?
8

Development of the ESRA CubeSat Mission to GTO:

, In: 2023 IEEE Aerospace Conference,
Maldonado, Carlos A. ; Deming, Jonathan ; Mosley, Brooke N.... - p. 1-17 , 2023
Link: https://doi.org/10.1109/..
 
?
9

ADHD:

, In: Handbook of Clinical Child Psychology; Autism and Child Psychopathology Series,
Neprily, Kirsten ; Miller, Courtney ; Charabin, Emma.. - p. 613-633 , 2023
Link: https://doi.org/10.1007/..
 
?
10

How to Assure Good Clinical Practice in Plasma Therapy?:

, In: Textbook of Good Clinical Practice in Cold Plasma Therapy,
Metelmann, Hans-Robert ; Hammes, Stefan ; Hartwig, Kristina... - p. 399-411 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Rapid SmallSat Mission Formulation: Integrated and Concurre..:

, In: 2020 IEEE Aerospace Conference,
Austin, Alex ; Miller, Robert ; Murphy, Jonathan... - p. 1-11 , 2020
Link: https://doi.org/10.1109/..
 
?
12

Contributors:

, In: Geologic Time Scale 2020,
Gradstein, Felix M. ; Ogg, James G. ; Schmitz, Mark D.... - p. xi-xiv , 2020
Link: https://doi.org/10.1016/..
 
?
13

List of Contributors:

, In: WISC-V,
Batty, Abigail ; Beal, A. Lynne ; Breaux, Kristina... - p. xv , 2019
Link: https://doi.org/10.1016/..
 
?
14

Contributors:

, In: Principles and Practice of Pediatric Infectious Diseases,
Abzug, Mark J. ; Adderson, Elisabeth E. ; Agwu, Allison L.... - p. vii-xix , 2018
Link: https://doi.org/10.1016/..
 
?
15

List of Contributors:

, In: WISC-V Assessment and Interpretation,
Beal, A. Lynne ; Breaux, Kristina ; Daniel, Mark... - p. xv , 2016
Link: https://doi.org/10.1016/..
 
1-15