Algorithms in Real Algebraic Geometry

• On Projective Delineability

  2024 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) conference-paper Computer Science Polynomial and algebraic computation Open access

  0

  citations
• Parameter synthesis for Markov models: covering the parameter space

  2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

  20

  citations
• Termination of triangular polynomial loops

  2023 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

  8

  citations
• Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'

  2022 Data Archiving and Networked Services (DANS) dataset Computer Science Formal Methods in Verification Open access

  16

  citations
• Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings

  2020 Journal of Logical and Algebraic Methods in Programming article Computer Science Polynomial and algebraic computation Open access

  34

  citations
• Invariance of a class of semi-algebraic sets for polynomial systems with dynamic compensators

  2020 Automatica article Engineering Advanced Control Systems Optimization

  5

  citations
• Efficiently and Effectively Recognizing Toricity of Steady State Varieties

  2020 Mathematics in Computer Science article Computer Science Polynomial and algebraic computation Open access

  10

  citations
• Termination of Polynomial Loops

  2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

  12

  citations

8 results