Jonas Frey

According to our database, Jonas Frey authored at least 22 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Uniform Preorders and Partial Combinatory Algebras.

Jonas Frey

CoRR, 2024

RoadRunner - Learning Traversability Estimation for Autonomous Off-road Driving.

Jonas Frey, Shehryar Khattak, Manthan Patel, Deegan Atha, Julian Nubert, Curtis Padgett, Marco Hutter, Patrick Spieler

CoRR, 2024

2023

Seeing Through the Grass: Semantic Pointcloud Filter for Support Surface Learning.

Anqiao Li, Chenyu Yang, Jonas Frey, Joonho Lee, Cesar Cadena, Marco Hutter

IEEE Robotics Autom. Lett., November, 2023

SMUG Planner: A Safe Multi-Goal Planner for Mobile Robots in Challenging Environments.

Changan Chen, Jonas Frey, Philip Arm, Marco Hutter

IEEE Robotics Autom. Lett., November, 2023

Resilient Legged Local Navigation: Learning to Traverse with Compromised Perception End-to-End.

Jin Jin, Chong Zhang, Jonas Frey, Nikita Rudin, Matías Mattamala, Cesar Cadena, Marco Hutter

CoRR, 2023

Learning Risk-Aware Quadrupedal Locomotion using Distributional Reinforcement Learning.

Lukas Schneider, Jonas Frey, Takahiro Miki, Marco Hutter

CoRR, 2023

Duality for Clans: a Refinement of Gabriel-Ulmer Duality.

Jonas Frey

CoRR, 2023

Fast Traversability Estimation for Wild Visual Navigation.

Jonas Frey, Matías Mattamala, Nived Chebrolu, Cesar Cadena, Maurice F. Fallon, Marco Hutter

Proceedings of the Robotics: Science and Systems XIX, Daegu, 2023

MEM: Multi-Modal Elevation Mapping for Robotics and Learning.

Gian Erni, Jonas Frey, Takahiro Miki, Matías Mattamala, Marco Hutter

IROS, 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

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Unsupervised Continual Semantic Adaptation Through Neural Rendering.

Zhizheng Liu, Francesco Milano, Jonas Frey, Roland Siegwart, Hermann Blum, Cesar Cadena

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022

Continual Adaptation of Semantic Segmentation Using Complementary 2D-3D Data Representations.

Jonas Frey, Hermann Blum, Francesco Milano, Roland Siegwart, Cesar Cadena

IEEE Robotics Autom. Lett., 2022

Unsupervised Continual Semantic Adaptation through Neural Rendering.

Zhizheng Liu, Francesco Milano, Jonas Frey, Marco Hutter, Roland Siegwart, Hermann Blum, Cesar Cadena

CoRR, 2022

Locomotion Policy Guided Traversability Learning using Volumetric Representations of Complex Environments.

Jonas Frey, David Hoeller, Shehryar Khattak, Marco Hutter

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Learning Agile Skills via Adversarial Imitation of Rough Partial Demonstrations.

Chenhao Li, Marin Vlastelica, Sebastian Blaes, Jonas Frey, Felix Grimminger, Georg Martius

Proceedings of the Conference on Robot Learning, 2022

2021

Triposes as a generalization of localic geometric morphisms.

Jonas Frey, Thomas Streicher

Math. Struct. Comput. Sci., 2021

Continual Learning of Semantic Segmentation using Complementary 2D-3D Data Representations.

Jonas Frey, Hermann Blum, Francesco Milano, Roland Siegwart, Cesar Cadena

CoRR, 2021

2018

Impredicative Encodings of (Higher) Inductive Types.

Steve Awodey, Jonas Frey, Sam Speight

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Ordered combinatory algebras and realizability.

Walter Ferrer Santos, Jonas Frey, Mauricio Guillermo, Octavio Malherbe, Alexandre Miquel

Math. Struct. Comput. Sci., 2017

2016

Classical Realizability in the CPS Target Language.

Jonas Frey

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

2015

Triposes, q-toposes and toposes.

Jonas Frey

Ann. Pure Appl. Log., 2015

Realizability Toposes from Specifications.

Jonas Frey

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015