2 citations · 2 across the 7 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2022★ 2 cited
Opportunistic Qualitative Planning in Stochastic Systems with Preferences over Temporal Logic Objectives
Abhishek Ninad Kulkarni, Jie Fu
Preferences play a key role in determining what goals/constraints to satisfy when not all constraints can be satisfied simultaneously. In this work, we study preference-based plann…
cs.FL2019
Opportunistic Synthesis in Reactive Games under Information Asymmetry
Abhishek N. Kulkarni, Jie Fu
Reactive synthesis is a class of methods to construct a provably-correct control system, referred to as a robot, with respect to a temporal logic specification in the presence of a…