Filip Maric

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 47

Top Topics

Riemannian Metric

Inverse Kinematics

Top Venues

IEEE Robotics Autom. Lett.

Arch. Formal Proofs

Ann. Math. Artif. Intell.

Publications

Ivan Bilic, Filip Maric, Fabio Bonsignorio, Ivan Petrovic
GISR: Geometric Initialization and Silhouette-based Refinement for Single-View Robot Pose and Configuration Estimation. CoRR (2024)
Vesna Marinkovic, Tijana Sukilovic, Filip Maric
Towards Automated Readable Proofs of Ruler and Compass Constructions. CoRR (2024)
Hanna Jiamei Zhang, Matthew Giamou, Filip Maric, Jonathan Kelly, Jessica Burgner-Kahrs
CIDGIKc: Distance-Geometric Inverse Kinematics for Continuum Robots. CoRR (2023)
Milan Bankovic, Ivan Drecun, Filip Maric
A proof system for graph (non)-isomorphism verification. Log. Methods Comput. Sci. 19 (1) (2023)
Hanna Jiamei Zhang, Matthew Giamou, Filip Maric, Jonathan Kelly, Jessica Burgner-Kahrs
CIDGIKc: Distance-Geometric Inverse Kinematics for Continuum Robots. IEEE Robotics Autom. Lett. 8 (11) (2023)
Ivan Bilic, Filip Maric, Ivan Markovic, Ivan Petrovic
A Distance-Geometric Method for Recovering Robot Joint Angles From an RGB Image. CoRR (2023)
Oliver Limoyo, Filip Maric, Matthew Giamou, Petra Alexson, Ivan Petrovic, Jonathan Kelly
Euclidean Equivariant Models for Generative Graphical Inverse Kinematics. CoRR (2023)
Vesna Marinkovic, Tijana Sukilovic, Filip Maric
Automated triangle constructions in hyperbolic geometry. Ann. Math. Artif. Intell. 91 (6) (2023)
Filip Maric, Matthew Giamou, Adam W. Hall, Soroush Khoubyarian, Ivan Petrovic, Jonathan Kelly
Riemannian Optimization for Distance-Geometric Inverse Kinematics. IEEE Trans. Robotics 38 (3) (2022)
Oliver Limoyo, Filip Maric, Matthew Giamou, Petra Alexson, Ivan Petrovic, Jonathan Kelly
One Network, Many Robots: Generative Graphical Inverse Kinematics. CoRR (2022)
Vesna Marinkovic, Tijana Sukilovic, Filip Maric
On Automating Triangle Constructions in Absolute and Hyperbolic Geometry. CoRR (2022)
Matthew Giamou, Filip Maric, David M. Rosen, Valentin Peretroukhin, Nicholas Roy, Ivan Petrovic, Jonathan Kelly
Convex Iteration for Distance-Geometric Inverse Kinematics. IEEE Robotics Autom. Lett. 7 (2) (2022)
Milan Bankovic, Filip Maric
Faradžev Read-type enumeration of non-isomorphic CC systems. Comput. Geom. 97 (2021)
Filip Maric, Matthew Giamou, Adam W. Hall, Soroush Khoubyarian, Ivan Petrovic, Jonathan Kelly
Riemannian Optimization for Distance Geometric Inverse Kinematics. CoRR (2021)
Filip Maric, Luka Petrovic, Marko Guberina, Jonathan Kelly, Ivan Petrovic
A Riemannian metric for geometry-aware singularity avoidance by articulated robots. Robotics Auton. Syst. 145 (2021)
Danijela Simic, Filip Maric, Pierre Boutry
Formalization of the Poincaré Disc Model of Hyperbolic Geometry. J. Autom. Reason. 65 (1) (2021)
Matthew Giamou, Filip Maric, David M. Rosen, Valentin Peretroukhin, Nicholas Roy, Ivan Petrovic, Jonathan Kelly
Convex Iteration for Distance-Geometric Inverse Kinematics. CoRR (2021)
Filip Maric, Luka Petrovic, Marko Guberina, Jonathan Kelly, Ivan Petrovic
A Riemannian Metric for Geometry-Aware Singularity Avoidance by Articulated Robots. CoRR (2021)
Milan Bankovic, Ivan Drecun, Filip Maric
A proof system for graph (non)-isomorphism verification. CoRR (2021)
Milena Vujosevic-Janicic, Filip Maric
Regression verification for automated evaluation of students programs. Comput. Sci. Inf. Syst. 17 (1) (2020)
Oliver Limoyo, Bryan Chan, Filip Maric, Brandon Wagstaff, A. Rupam Mahmood, Jonathan Kelly
Heteroscedastic Uncertainty for Robust Generative Latent Dynamics. IEEE Robotics Autom. Lett. 5 (4) (2020)
Olivier Lamarre, Oliver Limoyo, Filip Maric, Jonathan Kelly
The Canadian Planetary Emulation Terrain Energy-Aware Rover Navigation Dataset. Int. J. Robotics Res. 39 (6) (2020)
Trevor Ablett, Filip Maric, Jonathan Kelly
Fighting Failures with FIRE: Failure Identification to Reduce Expert Burden in Intervention-Based Learning. CoRR (2020)
Filip Maric, Matthew Giamou, Soroush Khoubyarian, Ivan Petrovic, Jonathan Kelly
Inverse Kinematics for Serial Kinematic Chains via Sum of Squares Optimization. ICRA (2020)
Milan Bankovic, Vladimir Filipovic, Jelena Graovac, Jelena Hadzi-Puric, Ali R. Hurson, Aleksandar Kartelj, Jovana J. Kovacevic, Nenad Korolija, Milos Kotlar, Nenad B. Krdzavac, Filip Maric, Sasa N. Malkov, Veljko Milutinovic, Nenad S. Mitic, Stefan Miskovic, Mladen Nikolic, Gordana Pavlovic-Lazetic, Danijela Simic, Miodrag V. Zivkovic
Chapter One - Teaching graduate students how to review research articles and respond to reviewer comments. Adv. Comput. 116 (2020)
Filip Maric, Matthew Giamou, Ivan Petrovic, Jonathan Kelly
Inverse Kinematics as Low-Rank Euclidean Distance Matrix Completion. CoRR (2020)
Filip Maric, Sana Stojanovic-Durdevic
Formalizing IMO Problems and Solutions in Isabelle/HOL. ThEdu@IJCAR (2020)
Filip Maric
Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation. IJCAR (2) (2020)
Oliver Limoyo, Bryan Chan, Filip Maric, Brandon Wagstaff, A. Rupam Mahmood, Jonathan Kelly
Heteroscedastic Uncertainty for Robust Generative Latent Dynamics. CoRR (2020)
Filip Maric, Matthew Giamou, Soroush Khoubyarian, Ivan Petrovic, Jonathan Kelly
Inverse Kinematics for Serial Kinematic Chains via Sum of Squares Optimization. CoRR (2019)
Filip Maric
Fast Formal Proof of the Erdős-Szekeres Conjecture for Convex Polygons with at Most 6 Points. J. Autom. Reason. 62 (3) (2019)
Danijela Simic, Filip Maric, Pierre Boutry
Poincaré Disc Model. Arch. Formal Proofs 2019 (2019)
Predrag Janicic, Filip Maric, Marko Malikovic
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture. Log. Methods Comput. Sci. 15 (1) (2019)
Filip Maric, Oliver Limoyo, Luka Petrovic, Trevor Ablett, Ivan Petrovic, Jonathan Kelly
Fast Manipulability Maximization Using Continuous-Time Trajectory optimization. IROS (2019)
Filip Maric, Bojan Vuckovic, Miodrag V. Zivkovic
Fully Automatic, Verified Classification of all Frankl-Complete (FC(6)) Set Families. CoRR (2019)
Filip Maric, Oliver Limoyo, Luka Petrovic, Trevor Ablett, Ivan Petrovic, Jonathan Kelly
Fast Manipulability Maximization Using Continuous-Time Trajectory Optimization. CoRR (2019)
Matthew Giamou, Filip Maric, Valentin Peretroukhin, Jonathan Kelly
Sparse Bounded Degree Sum of Squares Optimization for Certifiably Globally Optimal Rotation Averaging. CoRR (2019)
Filip Maric, Danijela Simic
Complex Geometry. Arch. Formal Proofs 2019 (2019)
Oliver Limoyo, Trevor Ablett, Filip Maric, Luke Volpatti, Jonathan Kelly
Self-Calibration of Mobile Manipulator Kinematic and Sensor Extrinsic Parameters Through Contact-Based Interaction. ICRA (2018)
Filip Maric, Mirko Spasic, René Thiemann
An Incremental Simplex Algorithm with Unsatisfiable Core Generation. Arch. Formal Proofs 2018 (2018)
Predrag Janicic, Filip Maric, Marko Malikovic
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture. CoRR (2018)
Filip Maric, Oliver Limoyo, Luka Petrovic, Ivan Petrovic, Jonathan Kelly
Singularity Avoidance as Manipulability Maximization Using Continuous Time Gaussian Processes. CoRR (2018)
Oliver Limoyo, Trevor Ablett, Filip Maric, Luke Volpatti, Jonathan Kelly
Self-Calibration of Mobile Manipulator Kinematic and Sensor Extrinsic Parameters Through Contact-Based Interaction. CoRR (2018)
Filip Maric, Ivan Jurin, Ivan Markovic, Zoran Kalafatic, Ivan Petrovic
Robot arm teleoperation via RGBD sensor palm tracking. MIPRO (2016)
Mirko Stojadinovic, Mladen Nikolic, Filip Maric
Short Portfolio Training for CSP Solving. CoRR (2015)
Filip Maric, Danijela Petrovic
Formalizing complex plane geometry. Ann. Math. Artif. Intell. 74 (3-4) (2015)
Filip Maric, Predrag Janicic, Marko Malikovic
Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3. CADE (2015)
Mirko Stojadinovic, Filip Maric
meSAT: multiple encodings of CSP to SAT. Constraints An Int. J. 19 (4) (2014)
Mladen Nikolic, Filip Maric, Predrag Janicic
Simple algorithm portfolio for SAT. Artif. Intell. Rev. 40 (4) (2013)
Filip Maric, Miodrag V. Zivkovic, Bojan Vuckovic
Formalizing Frankl's Conjecture: FC-Families. AISC/MKM/Calculemus (2012)
Filip Maric, Miodrag V. Zivkovic, Bojan Vuckovic
Formalizing Frankl's Conjecture: FC-families CoRR (2012)
Mirko Spasic, Filip Maric
Formalization of Incremental Simplex Algorithm by Stepwise Refinement. FM (2012)
Mladen Nikolic, Filip Maric, Predrag Janicic
Simple Algorithm Portfolio for SAT CoRR (2011)
Filip Maric, Ivan Petrovic, Danijela Petrovic, Predrag Janicic
Formalization and Implementation of Algebraic Methods in Geometry ThEdu (2011)
Filip Maric, Predrag Janicic
Formalization of Abstract State Transition Systems for SAT Log. Methods Comput. Sci. 7 (3) (2011)
Filip Maric
Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL. Theor. Comput. Sci. 411 (50) (2010)
Filip Maric, Predrag Janicic
URBiVA: Uniform Reduction to Bit-Vector Arithmetic. IJCAR (2010)
Filip Maric, Predrag Janicic
Formal Correctness Proof for DPLL Procedure. Informatica 21 (1) (2010)
Filip Maric
Formalization and Implementation of Modern SAT Solvers. J. Autom. Reason. 43 (1) (2009)
Mladen Nikolic, Filip Maric, Predrag Janicic
Instance-Based Selection of Policies for SAT Solvers. SAT (2009)
Filip Maric
Formal Verification of Modern SAT Solvers. Arch. Formal Proofs 2008 (2008)
Filip Maric, Predrag Janicic
argo-lib: A Generic Platform for Decision Procedures. IJCAR (2004)