Einar Broch Johnsen
where else to find them
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Layers of Confluence for Actors | CPP 2026 | 2026-01-12 |
Presents a concrete proof technique that adapts de Bruijn’s induction-style confluence proof to indexed transition systems and a weak diamond property (D1/D2)… | ||
| Formal Specification and Testing for Reinforcement Learning | ICFP 2023 | 2023-09-04 |
Defines a declarative DSL called BDL domain-specific language that encodes TD backup diagrams, gives a denotational semantics, and generates executable specs… | ||
| Behavior Trees in Action: A Study of Robotics Applications | SLE 2020 | 2020-11-16 |
Empirical study compares three production libraries BehaviorTree.CPP, PyTrees, PyTrees-ROS and mines 75 models from 25 projects to quantify usage patterns: 59%… | ||
| nothing matches | ||