The Blow-Up in Translating LTL to Deterministic Automata

Orna Kupferman; Adin Rosenberg

doi:10.1007/978-3-642-20674-0_6

The Blow-Up in Translating LTL to Deterministic Automata

The Rachel and Selim Benin School of Engineering and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Model Checking and Artificial Intelligence, MoChArt 2010
Publisher	Springer-Verlag
Pages	85-94
Number of pages	10
ISBN (Print)	978-364220673-3
DOIs	https://doi.org/10.1007/978-3-642-20674-0_6
State	Published - 2010
Event	6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010 - Atlanta, United States Duration: 11 Jul 2010 → 11 Jul 2011 Conference number: 6

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer
Volume	6572

Conference

Conference	6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010
Abbreviated title	MoChArt 2010
Country/Territory	United States
City	Atlanta
Period	11/07/10 → 11/07/11

Keywords

Temporal logic

Access to Document

10.1007/978-3-642-20674-0_6

Cite this

Kupferman, O., & Rosenberg, A. (2010). The Blow-Up in Translating LTL to Deterministic Automata. In Model Checking and Artificial Intelligence, MoChArt 2010 (pp. 85-94). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6572). Springer-Verlag. https://doi.org/10.1007/978-3-642-20674-0_6

@inproceedings{a26c36a9fbb740d79cff4235cb99c9e9,

title = "The Blow-Up in Translating LTL to Deterministic Automata",

keywords = "Temporal logic",

author = "Orna Kupferman and Adin Rosenberg",

year = "2010",

doi = "10.1007/978-3-642-20674-0_6",

language = "אנגלית",

isbn = "978-364220673-3",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "85--94",

booktitle = "Model Checking and Artificial Intelligence, MoChArt 2010",

note = "6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010 ; Conference date: 11-07-2010 Through 11-07-2011",

}

Kupferman, O & Rosenberg, A 2010, The Blow-Up in Translating LTL to Deterministic Automata. in Model Checking and Artificial Intelligence, MoChArt 2010. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6572, Springer-Verlag, pp. 85-94, 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, Atlanta, Georgia, United States, 11/07/10. https://doi.org/10.1007/978-3-642-20674-0_6

The Blow-Up in Translating LTL to Deterministic Automata. / Kupferman, Orna; Rosenberg, Adin.
Model Checking and Artificial Intelligence, MoChArt 2010. Springer-Verlag, 2010. p. 85-94 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6572).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - The Blow-Up in Translating LTL to Deterministic Automata

AU - Kupferman, Orna

AU - Rosenberg, Adin

N1 - Conference code: 6

PY - 2010

Y1 - 2010

KW - Temporal logic

U2 - 10.1007/978-3-642-20674-0_6

DO - 10.1007/978-3-642-20674-0_6

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

SN - 978-364220673-3

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 85

EP - 94

BT - Model Checking and Artificial Intelligence, MoChArt 2010

PB - Springer-Verlag

T2 - 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010

Y2 - 11 July 2010 through 11 July 2011

ER -