In computational complexity theory, the complexity class 2-EXPTIME (sometimes called 2-EXP) is the set of all decision problems solvable by a… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2016

2016

In this paper, we consider termination of probabilistic programs with real-valued variables. The questions concerned are: 1… (More)

Is this relevant?

2013

2013

- Fabio Mogavero, Aniello Murano, Luigi Sauro
- 2013 28th Annual ACM/IEEE Symposium on Logic in…
- 2013

In recent years, huge effort has been devoted to the definition of modal logics for strategic reasoning in the setting of multi… (More)

Is this relevant?

Highly Cited

2012

Highly Cited

2012

We present Acacia+, a tool for solving the LTL realizability and synthesis problems. We use recent approaches that reduce these… (More)

Is this relevant?

2012

2012

- Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
- CONCUR
- 2012

Strategy Logic (SL, for short) has been recently introduced by Mogavero, Murano, and Vardi as a formalism for reasoning… (More)

Is this relevant?

2012

2012

- Petr Jancar
- Logical Methods in Computer Science
- 2012

Burkart, Caucal, Steffen (1995) showed a procedure deciding bisimulation equivalence of processes in Basic Process Algebra (BPA… (More)

Is this relevant?

Highly Cited

2010

Highly Cited

2010

Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneficial trade-off between expressive… (More)

Is this relevant?

2010

2010

- Oliver Friedmann, Markus Latte, Martin Lange
- IJCAR
- 2010

We present a decision procedure for the full branching-time logic CTL∗ which is based on tableaux with global conditions on… (More)

Is this relevant?

Highly Cited

2009

Highly Cited

2009

- Yoad Lustig, Moshe Y. Vardi
- International Journal on Software Tools for…
- 2009

Synthesis is the automated construction of a system from its specification. In the classical temporal synthesis algorithms, it is… (More)

Is this relevant?

2006

2006

- Dirk Walther, Carsten Lutz, Frank Wolter, Michael Wooldridge
- J. Log. Comput.
- 2006

The alternating-time temporal logic (ATL) of Alur, Henzinger and Kupferman is being increasingly widely applied in the… (More)

Is this relevant?

2003

2003

- Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi
- ICDT
- 2003

One of the most important reasoning tasks on queries is checking containment, i.e., verifying whether one query yields… (More)

Is this relevant?