In a Stackelberg game, a leader commits to a randomized strategy, and a
...
Shared autonomy provides a framework where a human and an automated syst...
In planning problems, it is often challenging to fully model the desired...
Active perception strategies enable an agent to selectively gather
infor...
A variety of queries about stochastic systems boil down to study of Mark...
Automatic synthesis from linear temporal logic (LTL) specifications is w...
Automated techniques such as model checking have been used to verify mod...