Elizabeth Sloan

Mission-time Linear Temporal Logic

by Katherine Kosaian, Zili Wang and Elizabeth Sloan