Search Results for author:
Found 3 papers, 0 papers with code
CESAR: Control Envelope Synthesis via Angelic Refinements
An implicit, optimal solution to this synthesis problem is characterized using hybrid systems game theory, from which explicit solutions can be derived via symbolic execution and sound, systematic game refinements.
Asymmetric quantum decision-making
Quantum processes can realize conflict-free joint decisions among two agents using the entanglement of photons or quantum interference of orbital angular momentum (OAM).
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis
We propose a new approach to automated theorem proving where an AlphaZero-style agent is self-training to refine a generic high-level expert strategy expressed as a nondeterministic program.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
