Simulation-based minimization
From MaRDI portal
Publication:5267428
DOI10.1145/635499.635502zbMATH Open1365.68319OpenAlexW2076334860MaRDI QIDQ5267428FDOQ5267428
Publication date: 13 June 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/635499.635502
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
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cited In (17)
- An Algorithm for Probabilistic Alternating Simulation
- Simulation and optimization by quantifier elimination
- Correcting a Space-Efficient Simulation Algorithm
- Modular mix-and-match complementation of Büchi automata
- Generalizing the Paige-Tarjan algorithm by abstract interpretation
- An efficient simulation algorithm on Kripke structures
- Parity game reductions
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
- Strong simulation
- An efficient simulation algorithm based on abstract interpretation
- Title not available (Why is that?)
- Game-theoretic simulation checking tool
- Data approximation using Lotka-Volterra models and a software minimization function
- Abstraction and Abstraction Refinement
- 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)