scientific article; zbMATH DE number 177250

MaRDI QIDQ4037102zbMATH OpenFDO

Authors Ryszard Janicki, Maciej Koutny

Publication date 18 May 1993

zbMATH Keywords

communicating finite state automataconcurrent systemsformal verificationreachability graph

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Optimization for simulation: theory vs. practice
• Optimization via simulation: A review
• Simulation and the Asymptotics of Optimization Estimators
• scientific article; zbMATH DE number 1005357
• scientific article; zbMATH DE number 3876490
• Approaches to optimization/simulation problems
• scientific article; zbMATH DE number 912581
• Solving a class of simulation-based optimization problems using ``optimality in probability

Cited in

(9)

• Optimization of computer simulation models with rare events
• Simulation and optimization by quantifier elimination
• Contextual nets
• Optimization for simulation: theory vs. practice
• scientific article; zbMATH DE number 5520539 (Why is no real title available?)
• scientific article; zbMATH DE number 177512 (Why is no real title available?)
• scientific article; zbMATH DE number 6811486 (Why is no real title available?)
• A stubborn attack on state explosion
• On simulation and propagating EOL forms

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4037102)