Powerset construction

Known as: Power set construction, Determinization of automata, Subset construction 
In the theory of computation and automata theory, the powerset construction or subset construction is a standard method for converting a… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
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
This paper proposes a novel construction, calledduplex, closely related to the sponge construction, that acceptsmessage blocks to… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2010
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
Automata over infinite words provide a powerful framework to solve various decision problems. However, the mechanized reasoning… (More)
Is this relevant?
2006
2006
Counterexample-Based Refinement for Powerset Domains R. Manevich1, , J. Field2, T.A. Henzinger3, , G. Ramalingam4, , and M… (More)
  • table 1
  • table 2
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The finite powerset construction upgrades an abstract domain by allowing for the representation of finite disjunctions of its… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We combine our earlier approach to context-dependent netwo rk representation with our algorithm for determinizing weigh ted… (More)
  • figure 1
  • figure 2
  • table 2
  • table 3
  • table 1
Is this relevant?
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
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
We develop a powerdomain construction, [. ], which is analogous to the powerset construction and also fits in with the usual sum… (More)
  • figure 2
Is this relevant?