Filip Maric

According to our database, Filip Maric authored at least 49 papers between 2004 and 2024.

Collaborative distances:

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

2024

Towards Automated Readable Proofs of Ruler and Compass Constructions.

Vesna Marinkovic, Tijana Sukilovic, Filip Maric

CoRR, 2024

2023

Automated triangle constructions in hyperbolic geometry.

Vesna Marinkovic, Tijana Sukilovic, Filip Maric

Ann. Math. Artif. Intell., December, 2023

CIDGIKc: Distance-Geometric Inverse Kinematics for Continuum Robots.

Hanna Jiamei Zhang, Matthew Giamou, Filip Maric, Jonathan Kelly, Jessica Burgner-Kahrs

IEEE Robotics Autom. Lett., November, 2023

A proof system for graph (non)-isomorphism verification.

Milan Bankovic, Ivan Drecun, Filip Maric

Log. Methods Comput. Sci., 2023

Euclidean Equivariant Models for Generative Graphical Inverse Kinematics.

Oliver Limoyo, Filip Maric, Matthew Giamou, Petra Alexson, Ivan Petrovic, Jonathan Kelly

CoRR, 2023

A Distance-Geometric Method for Recovering Robot Joint Angles From an RGB Image.

Ivan Bilic, Filip Maric, Ivan Markovic, Ivan Petrovic

CoRR, 2023

2022

Riemannian Optimization for Distance-Geometric Inverse Kinematics.

Filip Maric, Matthew Giamou, Adam W. Hall, Soroush Khoubyarian, Ivan Petrovic, Jonathan Kelly

IEEE Trans. Robotics, 2022

Convex Iteration for Distance-Geometric Inverse Kinematics.

Matthew Giamou, Filip Maric, David M. Rosen, Valentin Peretroukhin, Nicholas Roy, Ivan Petrovic, Jonathan Kelly

IEEE Robotics Autom. Lett., 2022

One Network, Many Robots: Generative Graphical Inverse Kinematics.

Oliver Limoyo, Filip Maric, Matthew Giamou, Petra Alexson, Ivan Petrovic, Jonathan Kelly

CoRR, 2022

2021

A Riemannian metric for geometry-aware singularity avoidance by articulated robots.

Filip Maric, Luka Petrovic, Marko Guberina, Jonathan Kelly, Ivan Petrovic

Robotics Auton. Syst., 2021

Formalization of the Poincaré Disc Model of Hyperbolic Geometry.

Danijela Simic, Filip Maric, Pierre Boutry

J. Autom. Reason., 2021

On Automating Triangle Constructions in Absolute and Hyperbolic Geometry.

Vesna Marinkovic, Tijana Sukilovic, Filip Maric

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

Faradžev Read-type enumeration of non-isomorphic CC systems.

Milan Bankovic, Filip Maric

Comput. Geom., 2021

2020

Heteroscedastic Uncertainty for Robust Generative Latent Dynamics.

Oliver Limoyo, Bryan Chan, Filip Maric, Brandon Wagstaff, A. Rupam Mahmood, Jonathan Kelly

IEEE Robotics Autom. Lett., 2020

The Canadian Planetary Emulation Terrain Energy-Aware Rover Navigation Dataset.

Olivier Lamarre, Oliver Limoyo, Filip Maric, Jonathan Kelly

Int. J. Robotics Res., 2020

Inverse Kinematics as Low-Rank Euclidean Distance Matrix Completion.

Filip Maric, Matthew Giamou, Ivan Petrovic, Jonathan Kelly

CoRR, 2020

Formalizing IMO Problems and Solutions in Isabelle/HOL.

Filip Maric, Sana Stojanovic-Durdevic

Proceedings of the Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, 2020

Fighting Failures with FIRE: Failure Identification to Reduce Expert Burden in Intervention-Based Learning.

Trevor Ablett, Filip Maric, Jonathan Kelly

CoRR, 2020

Regression verification for automated evaluation of students programs.

Milena Vujosevic-Janicic, Filip Maric

Comput. Sci. Inf. Syst., 2020

Chapter One - Teaching graduate students how to review research articles and respond to reviewer comments.

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

Adv. Comput., 2020

Inverse Kinematics for Serial Kinematic Chains via Sum of Squares Optimization.

Filip Maric, Matthew Giamou, Soroush Khoubyarian, Ivan Petrovic, Jonathan Kelly

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

Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation.

Filip Maric

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture.

Predrag Janicic, Filip Maric, Marko Malikovic

Log. Methods Comput. Sci., 2019

Fast Formal Proof of the Erdős-Szekeres Conjecture for Convex Polygons with at Most 6 Points.

Filip Maric

J. Autom. Reason., 2019

Sparse Bounded Degree Sum of Squares Optimization for Certifiably Globally Optimal Rotation Averaging.

Matthew Giamou, Filip Maric, Valentin Peretroukhin, Jonathan Kelly

CoRR, 2019

Fully Automatic, Verified Classification of all Frankl-Complete (FC(6)) Set Families.

Filip Maric, Bojan Vuckovic, Miodrag V. Zivkovic

CoRR, 2019

Poincaré Disc Model.

Danijela Simic, Filip Maric, Pierre Boutry

Arch. Formal Proofs, 2019

Complex Geometry.

Filip Maric, Danijela Simic

Arch. Formal Proofs, 2019

Fast Manipulability Maximization Using Continuous-Time Trajectory optimization.

Filip Maric, Oliver Limoyo, Luka Petrovic, Trevor Ablett, Ivan Petrovic, Jonathan Kelly

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

2018

Singularity Avoidance as Manipulability Maximization Using Continuous Time Gaussian Processes.

Filip Maric, Oliver Limoyo, Luka Petrovic, Ivan Petrovic, Jonathan Kelly

CoRR, 2018

An Incremental Simplex Algorithm with Unsatisfiable Core Generation.

Filip Maric, Mirko Spasic, René Thiemann

Arch. Formal Proofs, 2018

Self-Calibration of Mobile Manipulator Kinematic and Sensor Extrinsic Parameters Through Contact-Based Interaction.

Oliver Limoyo, Trevor Ablett, Filip Maric, Luke Volpatti, Jonathan Kelly

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

2016

Robot arm teleoperation via RGBD sensor palm tracking.

Filip Maric, Ivan Jurin, Ivan Markovic, Zoran Kalafatic, Ivan Petrovic

Proceedings of the 39th International Convention on Information and Communication Technology, 2016

2015

Short Portfolio Training for CSP Solving.

Mirko Stojadinovic, Mladen Nikolic, Filip Maric

CoRR, 2015

Formalizing complex plane geometry.

Filip Maric, Danijela Petrovic

Ann. Math. Artif. Intell., 2015

Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3.

Filip Maric, Predrag Janicic, Marko Malikovic

Proceedings of the Automated Deduction - CADE-25, 2015

2014

meSAT: multiple encodings of CSP to SAT.

Mirko Stojadinovic, Filip Maric

Constraints An Int. J., 2014

2013

Simple algorithm portfolio for SAT.

Mladen Nikolic, Filip Maric, Predrag Janicic

Artif. Intell. Rev., 2013

2012

Formalization of Incremental Simplex Algorithm by Stepwise Refinement.

Mirko Spasic, Filip Maric

Proceedings of the FM 2012: Formal Methods, 2012

Formalizing Frankl's Conjecture: FC-Families.

Filip Maric, Miodrag V. Zivkovic, Bojan Vuckovic

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Formalization and Implementation of Algebraic Methods in Geometry

Filip Maric, Ivan Petrovic, Danijela Petrovic, Predrag Janicic

Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

Formalization of Abstract State Transition Systems for SAT

Filip Maric, Predrag Janicic

Log. Methods Comput. Sci., 2011

2010

Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL.

Filip Maric

Theor. Comput. Sci., 2010

Formal Correctness Proof for DPLL Procedure.

Filip Maric, Predrag Janicic

Informatica, 2010

URBiVA: Uniform Reduction to Bit-Vector Arithmetic.

Filip Maric, Predrag Janicic

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

Formalization and Implementation of Modern SAT Solvers.

Filip Maric

J. Autom. Reason., 2009

Instance-Based Selection of Policies for SAT Solvers.

Mladen Nikolic, Filip Maric, Predrag Janicic

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2008

Formal Verification of Modern SAT Solvers.

Filip Maric

Arch. Formal Proofs, 2008

2004

argo-lib: A Generic Platform for Decision Procedures.

Filip Maric, Predrag Janicic

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004