search result

Cover von On Ranking Function Synthesis and Termination for Polynomial Programs

On Ranking Function Synthesis and Termination for Polynomial Programs

Year: 2020
Media group: LIPIcs
Cover von On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems

On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems

Year: 2020
Media group: LIPIcs
Cover von Invariants for Continuous Linear Dynamical Systems

Invariants for Continuous Linear Dynamical Systems

Year: 2020
Media group: LIPIcs
Cover von On Reachability Problems for Low-Dimensional Matrix Semigroups

On Reachability Problems for Low-Dimensional Matrix Semigroups

Year: 2019
Media group: LIPIcs
Cover von The Semialgebraic Orbit Problem

The Semialgebraic Orbit Problem

Year: 2019
Media group: LIPIcs
Cover von Effective Divergence Analysis for Linear Recurrence Sequences

Effective Divergence Analysis for Linear Recurrence Sequences

Year: 2018
Media group: LIPIcs
Cover von O-Minimal Invariants for Linear Loops

O-Minimal Invariants for Linear Loops

Year: 2018
Media group: LIPIcs
Cover von The Polytope-Collision Problem

The Polytope-Collision Problem

Year: 2017
Media group: LIPIcs
Cover von Model Checking Flat Freeze LTL on One-Counter Automata

Model Checking Flat Freeze LTL on One-Counter Automata

Year: 2016
Media group: LIPIcs
Cover von Proving the Herman-Protocol Conjecture

Proving the Herman-Protocol Conjecture

Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0