Simulation-based minimization
From MaRDI portal
Publication:5267428
Recommendations
- scientific article; zbMATH DE number 1614700
- Simulation and continuous optimization
- Simulation by repeated optimisation
- Approaches to optimization/simulation problems
- Simulation-based optimization by new stochastic approximation algorithm
- Optimization via simulation: A review
- scientific article; zbMATH DE number 4039157
- Simulation and optimization by quantifier elimination
- A combined procedure for optimization via simulation
- Optimization of Simulation via Quasi-Newton Methods
Cited in
(17)- Simulation and optimization by quantifier elimination
- An algorithm for probabilistic alternating simulation
- Correcting a Space-Efficient Simulation Algorithm
- Coinduction-based solution for minimization of Kripke structures
- Modular mix-and-match complementation of Büchi automata
- Strong simulation: capturing topology in graph pattern matching
- Generalizing the Paige-Tarjan algorithm by abstract interpretation
- Parity game reductions
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
- Abstraction and abstraction refinement
- An efficient simulation algorithm based on abstract interpretation
- Game-theoretic simulation checking tool
- scientific article; zbMATH DE number 1614700 (Why is no real title available?)
- Data approximation using Lotka-Volterra models and a software minimization function
- Simulations in rank-based Büchi automata complementation
- A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence
- On the Minimisation of Acyclic Models
This page was built for publication: Simulation-based minimization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5267428)
