• STeLP

  • Referenced in 10 articles [sw09772]
  • called Splitable Temporal Logic Program), STeLP obtains its set of temporal equilibrium models (a generalisation ... which allow a simple definition of temporal logic programs, including a special syntax for action...
  • EAGLE

  • Referenced in 8 articles [sw31989]
  • attempt to satisfy a temporal logic formula representing their individual goal. The basic analytical concept ... Reactive Modules Games is Nash equilibrium. In this paper, we describe a tool through which ... checks whether these strategies form a Nash equilibrium of the Reactive Modules Game passed ... tool makes extensive use of conventional temporal logic satisfiability and model checking techniques. We first...
  • DMCS

  • Referenced in 6 articles [sw09818]
  • DMCS system is an implementation of the equilibrium semantics for heterogeneous and nonmonotonic multi-context ... feature contexts with heterogeneous and possibly nonmonotonic logics. Each context in an MCS comprises...
  • EVE

  • Referenced in 1 article [sw31990]
  • tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems ... have goals expressed using Linear Temporal Logic (LTL) formulae. In particular, EVE checks...
  • ChoiceGAPs

  • Referenced in 1 article [sw20612]
  • notion of ChoiceGAPs which combine choice logic programs and Generalized Annotated Programs. We assume that ... other situations. We define multi-player Nash equilibrium for such programs -- but because they require...
  • DEMONIC

  • Referenced in 1 article [sw41310]
  • programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics. Maxwell ... give a formal operational semantics and program logic as a basis for formal reasoning about...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ASTRA

  • Referenced in 12 articles [sw00052]
  • Fault Tree Analysis (FTA) is a formalised deductive...
  • BARON

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

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MetaGame

  • Referenced in 10 articles [sw00572]
  • Failing model checking runs should be accompanied by...
  • QEPCAD

  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SageMath

  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...