no code implementations • ICML 2020 • Mahsa Ghasemi, Erdem Bulgur, Ufuk Topcu
Furthermore, as new data arrive, the belief over the atomic propositions evolves and, subsequently, the planning strategy adapts accordingly.
no code implementations • 2 Nov 2023 • Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems.
no code implementations • 10 Feb 2022 • Niklas Lauffer, Mahsa Ghasemi, Abolfazl Hashemi, Yagiz Savas, Ufuk Topcu
The regret of the proposed learning algorithm is independent of the size of the state space and polynomial in the rest of the parameters of the game.
no code implementations • 31 Dec 2020 • Mahsa Ghasemi, Evan Scope Crafts, Bo Zhao, Ufuk Topcu
In planning problems, it is often challenging to fully model the desired specifications.
no code implementations • 4 Oct 2019 • Mahsa Ghasemi, Ufuk Topcu
In applications in which the agent does not have prior knowledge about the available information sources, it is crucial to synthesize active perception strategies at runtime.
no code implementations • 27 Sep 2019 • Mahsa Ghasemi, Abolfazl Hashemi, Haris Vikalo, Ufuk Topcu
We formulate the task of representation learning as that of mapping the state space of the model to a low-dimensional state space, called the kernel space.
no code implementations • ICLR 2019 • Mahsa Ghasemi, Ufuk Topcu
However, in a variety of real-world scenarios the agent has an active role in its perception by selecting which observations to receive.
no code implementations • 23 Mar 2018 • Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu
Automated techniques such as model checking have been used to verify models of robotic mission plans based on Markov decision processes (MDPs) and generate counterexamples that may help diagnose requirement violations.