Not finding it? Sign in to also search OpenAlex live.
-
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions2020 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, +1 more
13citations -
A quantum computing view on unitary coupled cluster theory2022 Chemical Society Reviews review Computer Science Quantum Computing Algorithms and Architecture Open access cited by 2 patents
Abhinav Anand, Philipp Schleich, Sumner Alperin-Lea, Phillip W. K. Jensen, Sukin Sim, Manuel Díaz‐Tinoco, +4 more
218citations