Realizability Toposes from Specifications. - Jonas Frey (TLCA, 2015)

Triposes, q-toposes and toposes. - Jonas Frey (Ann. Pure Appl. Log., 2015)

Classical Realizability in the CPS Target Language. - Jonas Frey (MFPS, 2016)

Ordered combinatory algebras and realizability. - Walter Ferrer Santos; Jonas Frey; Mauricio Guillermo; Octavio Malherbe; Alexandre Miquel (Math. Struct. Comput. Sci., 2017)

Impredicative Encodings of (Higher) Inductive Types. - Steve Awodey; Jonas Frey; Sam Speight (LICS, 2018)

Continual Learning of Semantic Segmentation using Complementary 2D-3D Data Representations. - Jonas Frey; Hermann Blum; Francesco Milano 001; Roland Siegwart; Cesar Cadena 001 (CoRR, 2021)

Triposes as a generalization of localic geometric morphisms. - Jonas Frey; Thomas Streicher (Math. Struct. Comput. Sci., 2021)

Learning Agile Skills via Adversarial Imitation of Rough Partial Demonstrations. - Chenhao Li; Marin Vlastelica; Sebastian Blaes; Jonas Frey; Felix Grimminger; Georg Martius (CoRL, 2022)

Locomotion Policy Guided Traversability Learning using Volumetric Representations of Complex Environments. - Jonas Frey; David Hoeller; Shehryar Khattak; Marco Hutter 001 (IROS, 2022)

Unsupervised Continual Semantic Adaptation through Neural Rendering. - Zhizheng Liu; Francesco Milano 001; Jonas Frey; Marco Hutter 001; Roland Siegwart; Hermann Blum; Cesar Cadena 001 (CoRR, 2022)

Continual Adaptation of Semantic Segmentation Using Complementary 2D-3D Data Representations. - Jonas Frey; Hermann Blum; Francesco Milano 001; Roland Siegwart; Cesar Cadena 001 (IEEE Robotics Autom. Lett., 2022)

Unsupervised Continual Semantic Adaptation Through Neural Rendering. - Zhizheng Liu; Francesco Milano 001; Jonas Frey; Roland Siegwart; Hermann Blum; Cesar Cadena 001 (CVPR, 2023)

Versatile Skill Control via Self-supervised Adversarial Imitation of Unlabeled Mixed Motions. - Chenhao Li; Sebastian Blaes; Pavel Kolev; Marin Vlastelica; Jonas Frey; Georg Martius (ICRA, 2023)

MEM: Multi-Modal Elevation Mapping for Robotics and Learning. - Gian Erni; Jonas Frey; Takahiro Miki; Matías Mattamala; Marco Hutter 001 (IROS, 2023)

Fast Traversability Estimation for Wild Visual Navigation. - Jonas Frey; Matías Mattamala; Nived Chebrolu; Cesar Cadena 001; Maurice F. Fallon; Marco Hutter 001 (Robotics: Science and Systems, 2023)

Duality for Clans: a Refinement of Gabriel-Ulmer Duality. - Jonas Frey (CoRR, 2023)

SMUG Planner: A Safe Multi-Goal Planner for Mobile Robots in Challenging Environments. - Changan Chen; Jonas Frey; Philip Arm; Marco Hutter 001 (IEEE Robotics Autom. Lett., 2023)

Seeing Through the Grass: Semantic Pointcloud Filter for Support Surface Learning. - Anqiao Li; Chenyu Yang; Jonas Frey; Joonho Lee; Cesar Cadena 001; Marco Hutter 001 (IEEE Robotics Autom. Lett., 2023)

Learning with 3D rotations, a hitchhiker's guide to SO(3). - Andreas René Geist; Jonas Frey; Mikel Zhobro; Anna Levina; Georg Martius (ICML, 2024)

Learning Risk-Aware Quadrupedal Locomotion using Distributional Reinforcement Learning. - Lukas Schneider; Jonas Frey; Takahiro Miki; Marco Hutter 001 (ICRA, 2024)

Resilient Legged Local Navigation: Learning to Traverse with Compromised Perception End-to-End. - Chong Zhang; Jin Jin; Jonas Frey; Nikita Rudin; Matías Mattamala; César Cadena 001; Marco Hutter 001 (ICRA, 2024)

RoadRunner - Learning Traversability Estimation for Autonomous Off-road Driving. - Jonas Frey; Shehryar Khattak; Manthan Patel; Deegan Atha; Julian Nubert; Curtis Padgett; Marco Hutter 001; Patrick Spieler (CoRR, 2024)

Uniform Preorders and Partial Combinatory Algebras. - Jonas Frey (CoRR, 2024)

Learning with 3D rotations, a hitchhiker's guide to SO(3). - Andreas René Geist; Jonas Frey; Mikel Zobro; Anna Levina; Georg Martius (CoRR, 2024)

Autonomous Forest Inventory with Legged Robots: System Design and Field Deployment. - Matías Mattamala; Nived Chebrolu; Benoit Casseau; Leonard Freißmuth; Jonas Frey; Turcan Tuna; Marco Hutter 001; Maurice F. Fallon (CoRR, 2024)

Zero-Shot Offline Imitation Learning via Optimal Transport. - Thomas Rupf; Marco Bagatella; Nico Gürtler; Jonas Frey; Georg Martius (CoRR, 2024)

Identifying Terrain Physical Parameters From Vision - Towards Physical-Parameter-Aware Locomotion and Navigation. - Jiaqi Chen; Jonas Frey; Ruyi Zhou; Takahiro Miki; Georg Martius; Marco Hutter 001 (IEEE Robotics Autom. Lett., 2024)

RoadRunner M&M - Learning Multi-Range Multi-Resolution Traversability Maps for Autonomous Off-Road Navigation. - Manthan Patel; Jonas Frey; Deegan Atha; Patrick Spieler; Marco Hutter 001; Shehryar Khattak (IEEE Robotics Autom. Lett., 2024)

Holistic Fusion: Task- and Setup-Agnostic Robot Localization and State Estimation with Factor Graphs. - Julian Nubert; Turcan Tuna; Jonas Frey; Cesar Cadena 001; Katherine J. Kuchenbecker; Shehryar Khattak; Marco Hutter 001 (CoRR, 2025)

Diffusion Based Robust LiDAR Place Recognition. - Benjamin Krummenacher; Jonas Frey; Turcan Tuna; Olga Vysotska; Marco Hutter 001 (CoRR, 2025)

Boxi: Design Decisions in the Context of Algorithmic Performance for Robotics. - Jonas Frey; Turcan Tuna; Lanke Frank Tarimo Fu; Cedric Weibel; Katharine Patterson; Benjamin Krummenacher; Matthias Müller; Julian Nubert; Maurice F. Fallon; Cesar Cadena 001; Marco Hutter 001 (CoRR, 2025)

Learned Perceptive Forward Dynamics Model for Safe and Platform-aware Robotic Navigation. - Pascal Roth; Jonas Frey; Cesar Cadena 001; Marco Hutter 001 (CoRR, 2025)

DAPPER: Discriminability-Aware Policy-to-Policy Preference-Based Reinforcement Learning for Query-Efficient Robot Skill Acquisition. - Yuki Kadokawa; Jonas Frey; Takahiro Miki; Takamitsu Matsubara; Marco Hutter 001 (CoRR, 2025)

Risk-Guided Diffusion: Toward Deploying Robot Foundation Models in Space, Where Failure Is Not An Option. - Rohan Thakker; Adarsh Patnaik; Vince Kurtz; Jonas Frey; Jonathan Becktor; Sangwoo Moon; Rob Royce; Marcel Kaufmann; Georgios Georgakis; Pascal Roth; Joel Burdick; Marco Hutter 001; et al. (CoRR, 2025)

Building Forest Inventories with Autonomous Legged Robots - System, Lessons, and Challenges Ahead. - Matías Mattamala; Nived Chebrolu; Jonas Frey; Leonard Freißmuth; Haedam Oh; Benoit Casseau; Marco Hutter 001; Maurice F. Fallon (CoRR, 2025)

Wild visual navigation: fast traversability learning via pre-trained models and online self-supervision. - Matías Mattamala; Jonas Frey; Piotr Libera; Nived Chebrolu; Georg Martius; Cesar Cadena 001; Marco Hutter 001; Maurice F. Fallon (Auton. Robots, 2025)