The following pages link to Ariadne (Q18756):
Displayed 15 items.
- The Monte Carlo event generator AcerMC versions 2.0 to 3.8 with interfaces to PYTHIA 6.4, HERWIG 6.5 and ARIADNE 4.1 (Q483878) (← links)
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- Parameter synthesis of polynomial dynamical systems (Q2105425) (← links)
- Axiomatic reals and certified efficient exact real computation (Q2148797) (← links)
- Parametrised second-order complexity theory with applications to the study of interval computation (Q2285136) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- A higher order method for input-affine uncertain systems (Q2677088) (← links)
- Semantics and Computability of the Evolution of Hybrid Systems (Q3021278) (← links)
- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System (Q3523098) (← links)
- Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems (Q3646256) (← links)
- An Introduction to the Verification of Hybrid Systems Using Ariadne (Q4560619) (← links)
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems (Q4982088) (← links)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)