Joanna Santos | Compositional Systems Labhttps://csl.isis.vanderbilt.edu/authors/joanna-santos/Joanna SantosHugoBlox Kit (https://hugoblox.com)en-usWed, 01 Jan 2014 00:00:00 +0000A Mobile Interface designed for the Safety Verification of Autonomous Vehicle Trajectorieshttps://csl.isis.vanderbilt.edu/publications/sprinkle260/Wed, 01 Jan 2014 00:00:00 +0000https://csl.isis.vanderbilt.edu/publications/sprinkle260/