74 citations · 212 across the 19 of their papers we have counts for
3 papers · 1 filter
Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores
Raúl Pardo, Willard Rafnsson, Gregor Steinhorn +5
Analysis of genetic data opens up many opportunities for medical and scientific advances. The use of phenotypic information and polygenic risk scores to analyze genetic data is wid…
Behavior Trees and State Machines in Robotics Applications
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen +2
Autonomous robots combine skills to form increasingly complex behaviors, called missions. While skills are often programmed at a relatively low abstraction level, their coordinatio…
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version)
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer +1
The semantics of probabilistic languages has been extensively studied, but specification languages for their properties have received little attention. This paper introduces the pr…