
PRISMgames
 Referenced in 20 articles
[sw12934]
 which supports modelling, automated verification and strategy synthesis for probabilistic systems with competitive or cooperative ... well as functionality to synthesise optimal player strategies, explore or export them, and verify other...

Acacia+
 Referenced in 15 articles
[sw25260]
 contains a new feature: the synthesis of the optimal strategy in a stochastic environment among...

ASTRX/OBLX
 Referenced in 5 articles
[sw19450]
 performance specifications. We present a new synthesis strategy that can automate fully the path from ... specifications to a sized circuit schematic. This strategy relies on asymptotic waveform evaluation to predict ... formulation of the circuit synthesis problem. We have implemented this strategy in a pair ... synthesize essentially all the analog synthesis benchmarks published in the past decade; ASTRX/OBLX...

ProjectQ
 Referenced in 9 articles
[sw21653]
 additional compilation, optimization, gate synthesis, and layout strategies...

StocHy
 Referenced in 3 articles
[sw36937]
 StocHy: automated verification and synthesis of stochastic processes. StocHy is a software tool ... formal verification or (iii) control (policy, strategy) synthesis. StocHy allows for modular modelling...

ROCS
 Referenced in 5 articles
[sw28114]
 other formal control synthesis tools, it guarantees to generate a control strategy with respect...

conPAS
 Referenced in 1 article
[sw10953]
 computational tool for automatic synthesis of feedback control strategies for a piecewise affine (PWA) system...

ADS
 Referenced in 4 articles
[sw13387]
 engineering design is described. ADS (automated design synthesis) is a FORTRAN program for nonlinear constrained ... optimization process is segmented into three levels: strategy, optimizer, and onedimensional search. At each...

Alloy*
 Referenced in 5 articles
[sw20736]
 Some tasks, however, most notably those involving synthesis, are inherently higher order; these are typically ... solver) in a domainspecific algorithm. Using strategies similar to those used in such algorithms...

TILT
 Referenced in 1 article
[sw24052]
 been developed for integrating the search strategies which are known for classical tableaus. The approach ... able to solve smaller program synthesis problems...

fluEvidenceSynthesis
 Referenced in 0 articles
[sw31436]
 fluEvidenceSynthesis: An R package for evidence synthesis based analysis of epidemiological outbreaks. Public health related ... have to balance the cost of intervention strategies with the benefit of the reduction...

PuRSUE
 Referenced in 1 article
[sw38924]
 level languages; and (ii) enable the automatic synthesis of lowlevel controllers, which allow robots ... design of highlevel runtime control strategies for robotic applications. The approach includes PuRSUE...

Picture
 Referenced in 1 article
[sw26705]
 vision. Generative probabilistic models, or “analysisbysynthesis” approaches, can capture rich scene structure ... Inference can flexibly integrate advanced Monte Carlo strategies with fast bottomup datadriven methods...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

Alpaga
 Referenced in 7 articles
[sw00032]
 Alpaga: A Tool for Solving Parity Games with...

ACL2
 Referenced in 283 articles
[sw00060]
 ACL2 is both a programming language in which...

BARON
 Referenced in 354 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 202 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

Gmsh
 Referenced in 720 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...