J. Frederico Carvalho

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 15

Top Topics

Top Venues

Publications

Anastasiia Varava, J. Frederico Carvalho, Danica Kragic, Florian T. Pokorny
Free space of rigid objects: caging, path non-existence, and narrow passage detection. Int. J. Robotics Res. 40 (10-11) (2021)
Rika Antonova, Anastasiia Varava, Peiyang Shi, J. Frederico Carvalho, Danica Kragic
Sequential Topological Representations for Predictive Models of Deformable Objects. L4DC (2021)
Anastasiia Varava, J. Frederico Carvalho, Danica Kragic, Florian T. Pokorny
Free Space of Rigid Objects: Caging, Path Non-Existence, and Narrow Passage Detection. CoRR (2020)
Isac Arnekvist, J. Frederico Carvalho, Danica Kragic, Johannes A. Stork
The effect of Target Normalization and Momentum on Dying ReLU. CoRR (2020)
Rika Antonova, Anastasiia Varava, Peiyang Shi, J. Frederico Carvalho, Danica Kragic
Sequential Topological Representations for Predictive Models of Deformable Objects. CoRR (2020)
J. Frederico Carvalho, Mikael Vejdemo-Johansson, Florian T. Pokorny, Danica Kragic
Long-term Prediction of Motion Trajectories Using Path Homology Clusters. IROS (2019)
J. Frederico Carvalho, Mikael Vejdemo-Johansson, Danica Kragic, Florian T. Pokorny
An algorithm for calculating top-dimensional bounding chains. PeerJ Comput. Sci. 4 (2018)
Anastasiia Varava, J. Frederico Carvalho, Florian T. Pokorny, Danica Kragic
Free Space of Rigid Objects: Caging, Path Non-existence, and Narrow Passage Detection. WAFR (2018)
J. Frederico Carvalho, Mikael Vejdemo-Johansson, Danica Kragic, Florian T. Pokorny
Path Clustering with Homology Area. ICRA (2018)
J. Frederico Carvalho, Sérgio Daniel Pequito, A. Pedro Aguiar, Soummya Kar, Karl Henrik Johansson
Composability and controllability of structural linear time-invariant systems: Distributed verification. Autom. 78 (2017)
Anastasiia Varava, J. Frederico Carvalho, Danica Kragic, Florian T. Pokorny
A Decomposition-Based Approach to Reasoning about Free Space Path-Connectivity for Rigid Objects in 2D. CoRR (2017)
Anastasiia Varava, J. Frederico Carvalho, Florian T. Pokorny, Danica Kragic
Caging and Path Non-existence: A Deterministic Sampling-Based Verification Algorithm. ISRR (2017)
J. Frederico Carvalho, Mikael Vejdemo-Johansson, Danica Kragic, Florian T. Pokorny
An algorithm for calculating top-dimensional bounding chains. PeerJ Prepr. 5 (2017)
J. Frederico Carvalho, Sérgio Pequito, A. Pedro Aguiar, Soummya Kar, George J. Pappas
Static output feedback: On essential feasible information patterns. CDC (2015)
J. Frederico Carvalho, Sérgio Daniel Pequito, A. Pedro Aguiar, Soummya Kar, George J. Pappas
Static Output Feedback: On Essential Feasible Information Patterns. CoRR (2015)