activity
20162026
most citedInferring Temporal Logic Properties from Data using Boosted Decision Trees

4 citations · 6 across the 19 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.RO2022

Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers

Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile

This work presents a step towards utilizing incrementally-improving symbolic perception knowledge of the robot's surroundings for provably correct reactive control synthesis applie…