• PRISM-games

  • 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 one-dimensional 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 domain-specific 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 low-level controllers, which allow robots ... design of high-level run-time control strategies for robotic applications. The approach includes PuRSUE...
  • Picture

  • Referenced in 1 article [sw26705]
  • vision. Generative probabilistic models, or “analysis-by-synthesis” approaches, can capture rich scene structure ... Inference can flexibly integrate advanced Monte Carlo strategies with fast bottom-up data-driven methods...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: 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...