research
∙
10/07/2021
Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions
A rep-tile is a polygon that can be dissected into smaller copies (of th...
share
research
∙
05/11/2019
On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem
Quantitative information flow (QIF) is traditionally defined as the expe...
research
∙
03/09/2019
Quantifying Dynamic Leakage: Complexity Analysis and Model Counting-based Calculation
A program is non-interferent if it leaks no secret information to an obs...
research
∙
10/09/2017
SGD for robot motion? The effectiveness of stochastic optimization on a new benchmark for biped locomotion tasks
Trajectory optimization and posture generation are hard problems in robo...
research
∙
06/27/2017
