Robotics and execution traces | Leonardo Hernández Cano's website
The goal of this post is to describe the ideas behind Pylic, a work-in-progress Python library to describe and solve predicates over program execution traces.
Pylic is a portmanteau of Python and concolic (as in concolic testing). The name is definitely temporary.
Behaviour found by Pylic when asked to find parameters that induce an execution trace where the button is pressed and the goal is reached. Motivation Traditionally, control theory and Reinforcement Learning concern themselves with mathematical models of the environment (differential equations) or simulations (integrations of said differential equations).
AleHD
commented
1 year ago
Robotics and execution traces | Leonardo Hernández Cano's website
The goal of this post is to describe the ideas behind Pylic, a work-in-progress Python library to describe and solve predicates over program execution traces. Pylic is a portmanteau of Python and concolic (as in concolic testing). The name is definitely temporary. Behaviour found by Pylic when asked to find parameters that induce an execution trace where the button is pressed and the goal is reached. Motivation Traditionally, control theory and Reinforcement Learning concern themselves with mathematical models of the environment (differential equations) or simulations (integrations of said differential equations).
https://iamleo.space/2022-09-17-execution-traces/