# Powerset construction

## Papers overview

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

Highly Cited

2013

Highly Cited

2013

- IJCAI
- 2013

In this paper we look into the assumption of interpreting LTL over finite traces. In particular we show that LTLf , i.e., LTLâ€¦Â (More)

Is this relevant?

Highly Cited

2011

Highly Cited

2011

- IACR Cryptology ePrint Archive
- 2011

This paper proposes a novel construction, calledduplex, closely related to the sponge construction, that acceptsmessage blocks toâ€¦Â (More)

Is this relevant?

2010

2010

- FSTTCS
- 2010

Coalgebra is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determinesâ€¦Â (More)

Is this relevant?

2007

2007

- 2007

Automata over infinite words provide a powerful framework to solve various decision problems. However, the mechanized reasoningâ€¦Â (More)

Is this relevant?

2006

2006

- Program Analysis and Compilation
- 2006

Counterexample-Based Refinement for Powerset Domains R. Manevich1, , J. Field2, T.A. Henzinger3, , G. Ramalingam4, , and Mâ€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- International Journal on Software Tools forâ€¦
- 2004

The finite powerset construction upgrades an abstract domain by allowing for the representation of finite disjunctions of itsâ€¦Â (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- ICASSP
- 1998

We combine our earlier approach to context-dependent netwo rk representation with our algorithm for determinizing weigh tedâ€¦Â (More)

Is this relevant?

1995

1995

- 1995

An algorithm for the uniform random generation of the powerset construction is presented. Given a combinatorial class I, togetherâ€¦Â (More)

Is this relevant?

Highly Cited

1985

Highly Cited

1985

- 26th Annual Symposium on Foundations of Computerâ€¦
- 1985

The verification problem for probabilistic concurrent finite-state program is to decide whether such a program satisfies itsâ€¦Â (More)

Is this relevant?

Highly Cited

1976

Highly Cited

1976

- SIAM J. Comput.
- 1976

We develop a powerdomain construction, [. ], which is analogous to the powerset construction and also fits in with the usual sumâ€¦Â (More)

Is this relevant?