REACH

MaRDI QIDQ19750swMATHFDO

Official website http://www.tandfonline.com/doi/abs/10.1080/03081079.2012.757604#.UtONLFu0UYw

Cited in

(5)

• Some decidable results on reachability of solvable systems
• Multiphase until formulas over Markov reward models: an algebraic approach
• TERMINATOR
• Analyzing ultimate positivity for solvable systems
• Positive root isolation for poly-powers by exclusion and differentiation

This page was built for software: REACH