default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJonas Frey
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c12]Andreas René Geist, Jonas Frey, Mikel Zhobro, Anna Levina, Georg Martius:
Learning with 3D rotations, a hitchhiker's guide to SO(3). ICML 2024- [c11]Chong Zhang, Jin Jin, Jonas Frey, Nikita Rudin, Matías Mattamala, César Cadena, Marco Hutter:
Resilient Legged Local Navigation: Learning to Traverse with Compromised Perception End-to-End. ICRA 2024: 34-41 - [c10]Lukas Schneider, Jonas Frey, Takahiro Miki, Marco Hutter:
Learning Risk-Aware Quadrupedal Locomotion using Distributional Reinforcement Learning. ICRA 2024: 11451-11458 - [i20]Jonas Frey, Shehryar Khattak, Manthan Patel, Deegan Atha, Julian Nubert, Curtis Padgett
, Marco Hutter, Patrick Spieler:
RoadRunner - Learning Traversability Estimation for Autonomous Off-road Driving. CoRR abs/2402.19341 (2024) - [i19]Jonas Frey:
Uniform Preorders and Partial Combinatory Algebras. CoRR abs/2403.17340 (2024) - [i18]Matías Mattamala, Jonas Frey, Piotr Libera, Nived Chebrolu, Georg Martius, Cesar Cadena, Marco Hutter, Maurice F. Fallon:
Wild Visual Navigation: Fast Traversability Learning via Pre-Trained Models and Online Self-Supervision. CoRR abs/2404.07110 (2024) - [i17]Andreas René Geist, Jonas Frey, Mikel Zobro, Anna Levina, Georg Martius:
Learning with 3D rotations, a hitchhiker's guide to SO(3). CoRR abs/2404.11735 (2024) - [i16]Matías Mattamala, Nived Chebrolu, Benoit Casseau, Leonard Freißmuth, Jonas Frey, Turcan Tuna, Marco Hutter, Maurice F. Fallon:
Autonomous Forest Inventory with Legged Robots: System Design and Field Deployment. CoRR abs/2404.14157 (2024) - [i15]Jiaqi Chen, Jonas Frey, Ruyi Zhou, Takahiro Miki, Georg Martius, Marco Hutter:
Identifying Terrain Physical Parameters from Vision - Towards Physical-Parameter-Aware Locomotion and Navigation. CoRR abs/2408.16567 (2024) - [i14]Manthan Patel, Jonas Frey, Deegan Atha, Patrick Spieler, Marco Hutter, Shehryar Khattak:
RoadRunner M&M - Learning Multi-range Multi-resolution Traversability Maps for Autonomous Off-road Navigation. CoRR abs/2409.10940 (2024) - 2023
- [j6]Changan Chen, Jonas Frey, Philip Arm, Marco Hutter:
SMUG Planner: A Safe Multi-Goal Planner for Mobile Robots in Challenging Environments. IEEE Robotics Autom. Lett. 8(11): 7170-7177 (2023) - [j5]Anqiao Li, Chenyu Yang, Jonas Frey, Joonho Lee, Cesar Cadena, Marco Hutter:
Seeing Through the Grass: Semantic Pointcloud Filter for Support Surface Learning. IEEE Robotics Autom. Lett. 8(11): 7687-7694 (2023) - [c9]Zhizheng Liu, Francesco Milano, Jonas Frey, Roland Siegwart, Hermann Blum, Cesar Cadena:
Unsupervised Continual Semantic Adaptation Through Neural Rendering. CVPR 2023: 3031-3040 - [c8]Chenhao Li, Sebastian Blaes, Pavel Kolev, Marin Vlastelica, Jonas Frey, Georg Martius:
Versatile Skill Control via Self-supervised Adversarial Imitation of Unlabeled Mixed Motions. ICRA 2023: 2944-2950 - [c7]Gian Erni, Jonas Frey, Takahiro Miki, Matías Mattamala, Marco Hutter:
MEM: Multi-Modal Elevation Mapping for Robotics and Learning. IROS 2023: 11011-11018 - [c6]Jonas Frey, Matías Mattamala, Nived Chebrolu, Cesar Cadena, Maurice F. Fallon, Marco Hutter:
Fast Traversability Estimation for Wild Visual Navigation. Robotics: Science and Systems 2023 - [i13]Anqiao Li, Chenyu Yang, Jonas Frey, Joonho Lee, César Cadena, Marco Hutter:
Seeing Through the Grass: Semantic Pointcloud Filter for Support Surface Learning. CoRR abs/2305.07995 (2023) - [i12]Jonas Frey, Matías Mattamala, Nived Chebrolu, César Cadena, Maurice F. Fallon, Marco Hutter:
Fast Traversability Estimation for Wild Visual Navigation. CoRR abs/2305.08510 (2023) - [i11]Changan Chen, Jonas Frey, Philip Arm, Marco Hutter:
SMUG Planner: A Safe Multi-Goal Planner for Mobile Robots in Challenging Environments. CoRR abs/2306.05309 (2023) - [i10]Jonas Frey:
Duality for Clans: a Refinement of Gabriel-Ulmer Duality. CoRR abs/2308.11967 (2023) - [i9]Lukas Schneider, Jonas Frey, Takahiro Miki, Marco Hutter:
Learning Risk-Aware Quadrupedal Locomotion using Distributional Reinforcement Learning. CoRR abs/2309.14246 (2023) - [i8]Gian Erni, Jonas Frey, Takahiro Miki, Matías Mattamala, Marco Hutter:
MEM: Multi-Modal Elevation Mapping for Robotics and Learning. CoRR abs/2309.16818 (2023) - [i7]Jin Jin, Chong Zhang, Jonas Frey, Nikita Rudin, Matías Mattamala, Cesar Cadena, Marco Hutter:
Resilient Legged Local Navigation: Learning to Traverse with Compromised Perception End-to-End. CoRR abs/2310.03581 (2023) - 2022
- [j4]Jonas Frey, Hermann Blum, Francesco Milano, Roland Siegwart, Cesar Cadena:
Continual Adaptation of Semantic Segmentation Using Complementary 2D-3D Data Representations. IEEE Robotics Autom. Lett. 7(4): 11665-11672 (2022) - [c5]Chenhao Li, Marin Vlastelica, Sebastian Blaes, Jonas Frey, Felix Grimminger, Georg Martius:
Learning Agile Skills via Adversarial Imitation of Rough Partial Demonstrations. CoRL 2022: 342-352 - [c4]Jonas Frey, David Hoeller, Shehryar Khattak, Marco Hutter:
Locomotion Policy Guided Traversability Learning using Volumetric Representations of Complex Environments. IROS 2022: 5722-5729 - [i6]Jonas Frey, David Hoeller, Shehryar Khattak, Marco Hutter:
Locomotion Policy Guided Traversability Learning using Volumetric Representations of Complex Environments. CoRR abs/2203.15854 (2022) - [i5]Chenhao Li, Marin Vlastelica, Sebastian Blaes, Jonas Frey, Felix Grimminger, Georg Martius:
Learning Agile Skills via Adversarial Imitation of Rough Partial Demonstrations. CoRR abs/2206.11693 (2022) - [i4]Chenhao Li, Sebastian Blaes, Pavel Kolev, Marin Vlastelica, Jonas Frey, Georg Martius:
Versatile Skill Control via Self-supervised Adversarial Imitation of Unlabeled Mixed Motions. CoRR abs/2209.07899 (2022) - [i3]Zhizheng Liu, Francesco Milano, Jonas Frey, Marco Hutter, Roland Siegwart, Hermann Blum, Cesar Cadena:
Unsupervised Continual Semantic Adaptation through Neural Rendering. CoRR abs/2211.13969 (2022) - 2021
- [j3]Jonas Frey, Thomas Streicher:
Triposes as a generalization of localic geometric morphisms. Math. Struct. Comput. Sci. 31(9): 1024-1033 (2021) - [i2]Jonas Frey, Hermann Blum, Francesco Milano, Roland Siegwart, Cesar Cadena:
Continual Learning of Semantic Segmentation using Complementary 2D-3D Data Representations. CoRR abs/2111.02156 (2021)
2010 – 2019
- 2018
- [c3]Steve Awodey, Jonas Frey, Sam Speight:
Impredicative Encodings of (Higher) Inductive Types. LICS 2018: 76-85 - [i1]Steve Awodey, Jonas Frey, Sam Speight:
Impredicative Encodings of (Higher) Inductive Types. CoRR abs/1802.02820 (2018) - 2017
- [j2]Walter Ferrer Santos, Jonas Frey, Mauricio Guillermo, Octavio Malherbe, Alexandre Miquel:
Ordered combinatory algebras and realizability. Math. Struct. Comput. Sci. 27(3): 428-458 (2017) - 2016
- [c2]Jonas Frey:
Classical Realizability in the CPS Target Language. MFPS 2016: 111-126 - 2015
- [j1]Jonas Frey:
Triposes, q-toposes and toposes. Ann. Pure Appl. Log. 166(2): 232-259 (2015) - [c1]Jonas Frey:
Realizability Toposes from Specifications. TLCA 2015: 196-210
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 20:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
