Search Results for author:
Found 4 papers, 3 papers with code
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
There are several examples of the use of formal languages such as temporal logics and automata to specify high-level task specifications for robots (in lieu of Markovian rewards).
Hierarchical Potential-based Reward Shaping from Task Specifications
The automatic synthesis of policies for robotic-control tasks through reinforcement learning relies on a reward signal that simultaneously captures many possibly conflicting requirements.
Quantum Preparation Games
The measurement setting in each round, as well as the final score of the game, are decided by the referee based on the past history of settings and measurement outcomes.
Quantum Physics
Entanglement Detection Beyond Measuring Fidelities
In this Letter we find a large class of states whose entanglement cannot be detected in this manner; we call them unfaithful.
Quantum Physics
