Weak Cost Automata over Infinite Trees

Weak Cost Automata over Infinite Trees

Bibliographic Details
Main Author:	Boom, M
Format:	Thesis
Published:	2012

Similar Items

Weak cost automata over infinite trees
by: Vanden Boom, M
Published: (2012)

Weak Cost Monadic Logic over Infinite Trees
by: Boom, M
Published: (2011)

Two−way cost automata and cost logics over infinite trees
by: Blumensath, A, et al.
Published: (2014)

Quasi−Weak Cost Automata: A New Variant of Weakness
by: Kuperberg, D, et al.
Published: (2011)

The Emptiness Problem for Automata on Infinite Trees
by: Hossley, Robert, et al.
Published: (2023)

The Emptiness and Complementation Problems for Automata on Infinite Trees
by: Rackoff, Charles Weill
Published: (2023)

On the Expressive Power of Cost Logics over Infinite Words
by: Kuperberg, D, et al.
Published: (2012)

Weak cost register automata are still powerful
by: Almagor, S, et al.
Published: (2018)

Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability
by: Christel Baier, et al.
Published: (2009-07-01)

Automata−based presentations of infinite structures
by: Barany, V, et al.
Published: (2010)

Power of Randomization in Automata on Infinite Strings
by: Rohit Chadha, et al.
Published: (2011-09-01)

An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet
by: Alexis Bès
Published: (2008-03-01)

Weak Alternating Timed Automata
by: Pawel Parys, et al.
Published: (2012-09-01)

Finite Tree Automata and W-Automata
by: Hossley, Robert
Published: (2023)

Decision Problems for Deterministic Pushdown Automata on Infinite Words
by: Christof Löding
Published: (2014-05-01)

Weak equivalence of higher-dimensional automata
by: Thomas Kahl
Published: (2021-05-01)

Crisp-determinization of weighted tree automata over strong bimonoids
by: Zoltán Fülöp, et al.
Published: (2021-06-01)

Trees over Infinite Structures and Path Logics with Synchronization
by: Alex Spelten, et al.
Published: (2011-11-01)

Deciding the weak definability of Büchi definable tree languages
by: Colcombet, T, et al.
Published: (2013)

Reachability Problem for Weak Multi-Pushdown Automata
by: Wojciech Czerwiński, et al.
Published: (2013-09-01)

Choice functions and well-orderings over the infinite binary tree
by: Carayol Arnaud, et al.
Published: (2010-08-01)

Minimisation of multiplicity tree automata
by: Worrell, J, et al.
Published: (2017)

Minimisation of Multiplicity Tree Automata
by: Stefan Kiefer, et al.
Published: (2017-03-01)

Pushing for weighted tree automata
by: Thomas Hanneforth, et al.
Published: (2018-01-01)

Deterministic Automata for Unordered Trees
by: Adrien Boiret, et al.
Published: (2014-08-01)

Expected-Delay-Summing Weak Bisimilarity for Markov Automata
by: Alessandro Aldini, et al.
Published: (2015-09-01)

Weak factor automata: the failure of failure factor oracles?
by: Loek Cleophas, et al.
Published: (2014-08-01)

Automata for Branching and Layered Temporal Structures: an investigation into regularities of infinite transition systems
by: Puppis, G
Published: (2010)

A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
by: Klaus Aehlig
Published: (2007-07-01)

Some weak covering properties and infinite games
by: Sakai Masami
Published: (2014-02-01)

Test derivation based on tree FSMs and tree automata
by: Maria Forostyanova
Published: (2018-10-01)

Visibly Tree Automata with Memory and Constraints
by: Hubert Comon-Lundh, et al.
Published: (2008-06-01)

Topological properties of cellular automata on trees
by: Gabriele Fici, et al.
Published: (2012-08-01)

On the depth of decision trees over infinite 1-homogeneous binary information systems
by: Mikhail Moshkov
Published: (2021-07-01)

Costs and rewards in priced timed automata
by: Fränzle, M, et al.
Published: (2020)

Costs and rewards in priced timed automata
by: Fränzle, M, et al.
Published: (2018)

Complexity of equivalence and learning for multiplicity tree automata
by: Marusic, I, et al.
Published: (2015)

Alternating register automata on finite words and trees
by: Diego Figueira
Published: (2012-03-01)

Analyzing Timed Systems Using Tree Automata
by: S. Akshay, et al.
Published: (2018-05-01)

Hyper-Minimization for Deterministic Weighted Tree Automata
by: Andreas Maletti, et al.
Published: (2014-05-01)