Antonia Lechner und Automata - Info zur Person

(1 - 10 von 10

)

Joël Ouaknine: Model checking flat Freeze LTL on …

people.mpi-sws.org

Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, and James Worrell. Freeze LTL is a temporal logic with registers that is suitable for specifying properties of data words. In this paper we study the model checking problem for Freeze LTL on one-counter automata.

Reachability Problems: 9th International Workshop, RP 2015, ...

books.google.com

Synthesis. Problems. for. One-Counter. Automata. Antonia Lechner(B) Department of Computer Science, University of Oxford, Oxford, UK antonia.lechner ...

[ ] Model Checking Flat Freeze LTL on One-Counter Automata

arxiv.org

Authors:Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell. (Submitted on 8 Jun (v1), last revised 6 Dec (this version, v5)).

27th International Conference on Concurrency Theory Josée ...

publik.tuwien.ac.at

von J Desharnais · — Model Checking Flat Freeze LTL on One-Counter Automata. Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, and James Worrell . › files › publik_

dblp: Joël Ouaknine

dblp.uni-trier.de

Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell: Model Checking Flat Freeze LTL on One-Counter Automata. Logical Methods in Computer Science 14 ( 4 ) ( )

Synthesis Problems for One-Counter Automata | SpringerLink

link.springer.com

von A Lechner · · Zitiert von: 7 — Synthesis Problems for One-Counter Automata. Antonia Lechner. Conference paper; First Online: 01 October Accesses. › chapter

DROPS - Model Checking Flat Freeze LTL on One-Counter Automata

drops.dagstuhl.de

BibTeX - Entry @InProceedings{lechner_et_al:LIPIcs:2016:6184, author = {Antonia Lechner and Richard Mayr and Jo{\"e}l Ouaknine and Amaury Pouly and James …

CONCUR2016: Accepted Papers

www.concur2016.ulaval.ca

Analyzing Timed Systems Using Tree Automata; Antonia Lechner, Richard Mayr, Joel Ouaknine, Amaury Pouly and James Worrell. Model Checking Flat Freeze ...

Flat Model Checking for Counting LTL Using Quantifier-Free ...

www.researcher-app.com

Model Checking Flat Freeze LTL on One-Counter Automata. Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell. › ...

Richard Mayr's publications - Informatics Homepages Server

homepages.inf.ed.ac.uk

Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell. Model Checking Flat Freeze LTL on One-Counter Automata. CONCUR 2016, LIPIcs. › p...

Alle Infos zum Namen "Antonia Lechner"

Verwandte Suchanfragen zu Antonia Lechner

Meike Migaud
Joël Ouaknine
Caroline Fröhlich

Julia Neumann-Szyszka
Simon Sasek
Michaela Göbel

Helmut Geib
Florian Keutel
Nicole Heinrich

Person "Lechner" (19)
Vorname "Antonia" (8290)
Name "Lechner" (1540)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Antonia Lechner und Automata Person-Info