497 citations · 2.1k across the 297 of their papers we have counts for
4 papers · 2 filters
Deceptive Decision-Making Under Uncertainty
Yagiz Savas, Christos K. Verginis, Ufuk Topcu
We study the design of autonomous agents that are capable of deceiving outside observers about their intentions while carrying out tasks in stochastic, complex environments. By mod…
Simultaneous Perception-Action Design via Invariant Finite Belief Sets
Michael Hibbard, Takashi Tanaka, Ufuk Topcu
Although perception is an increasingly dominant portion of the overall computational cost for autonomous systems, only a fraction of the information perceived is likely to be relev…
Uncertainty-Aware Signal Temporal Logic Inference
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider +2
Temporal logic inference is the process of extracting formal descriptions of system behaviors from data in the form of temporal logic formulas. The existing temporal logic inferenc…
Efficient Strategy Synthesis for MDPs with Resource Constraints
František Blahoudek, Petr Novotný, Melkior Ornik +2
We consider qualitative strategy synthesis for the formalism called consumption Markov decision processes. This formalism can model dynamics of an agents that operates under resour…