University of Illinois at Urbana-Champaign Block I

Kristina Miller

Graduate Student at UIUC

Kristina Miller

Main menu

Skip to primary content
Skip to secondary content
  • Home
  • Biography
  • FACTEST
  • Publications

Presentation at CAV 2020

Posted on August 4, 2020 by kmmille2@illinois.edu

I was recently able to present my paper, Fast and Guaranteed Safe Controller Synthesis, at CAV 2020. The event was virtual this year, so the recording of my talk can be found on the CAV youtube page here.

CAV 2020 was a great experience and I got to meet a lot of people in the field. I am looking forward to what I will get to do in the future.

Posted in Uncategorized

Hello world!

Posted on March 31, 2020 by kmmille2@illinois.edu

This is my website! I will update this page with everything soon!

Posted in Uncategorized

Recent Posts

  • Presentation at CAV 2020
  • Hello world!

Recent Comments

  • A WordPress Commenter on Hello world!
Privacy
© 2021 University of Illinois Board of Trustees