Search Results for author:
Found 2 papers, 1 papers with code
How Deduction Systems Can Help You To Verify Stability Properties
Mathematical proofs are a cornerstone of control theory, and it is important to get them right.
Deriving Rewards for Reinforcement Learning from Symbolic Behaviour Descriptions of Bipedal Walking
Generating physical movement behaviours from their symbolic description is a long-standing challenge in artificial intelligence (AI) and robotics, requiring insights into numerical optimization methods as well as into formalizations from symbolic AI and reasoning.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
