In automata theory, automata construction is an important mathematical technique used to demonstrate the existence of an automaton with a certainâ€¦Â (More)

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

2014

2014

- Vinay S. Shekhar, Anant Agarwalla, Akshay Agarwal, B. Nitish, Viraj Kumar
- 2014 Seventh International Conference onâ€¦
- 2014

JFLAP is a powerful and popular educational software tool that allows students in Formal Languages and Automata courses toâ€¦Â (More)

Is this relevant?

2011

2011

- Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria
- ISoLA Workshops
- 2011

We present an active automata learning algorithm for Mealy state machines that directly constructs a state machine hypothesisâ€¦Â (More)

Is this relevant?

2007

2007

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

Is this relevant?

2006

2006

- Laura Giordano, Alberto Maria Martelli
- Annals of Mathematics and Artificial Intelligence
- 2006

We present a tableau-based algorithm for obtaining a BÃ¼chi automaton from a formula in Dynamic Linear Time Temporal Logic (DLTLâ€¦Â (More)

Is this relevant?

2005

2005

The language PSL [1] is a temporal logic standardized by the Accellera standards organization and currently undergoing theâ€¦Â (More)

Is this relevant?

2005

2005

- Carsten Fritz
- LPAR
- 2005

We present an algorithm for the conversion of very weak alternating BÃ¼chi automata into nondeterministic BÃ¼chi automata (NBAâ€¦Â (More)

Is this relevant?

2005

2005

Symbolic model checking has been found extremely efficient in the verification of hardware designs, and has been widely adoptedâ€¦Â (More)

Is this relevant?

2004

2004

Industrial temporal languages like PSL/Sugar and ForSpec have augmented the language with Regular Expressions (REs). An REâ€¦Â (More)

Is this relevant?

2004

2004

- Shoham Ben-David, Dana Fisman, Sitvanit Ruah
- ISoLA
- 2004

Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSLâ€¦Â (More)

Is this relevant?

1987

1987

- M. Benois
- RTA
- 1987

Recent works on public key encryption for secure network communication [7] have brought back the following problem : given aâ€¦Â (More)

Is this relevant?