Time Granularities and Ultimately Periodic Automata

Time Granularities and Ultimately Periodic Automata

Bibliographic Details
Main Authors:	Bresolin, D, Montanari, A, Puppis, G
Format:	Journal article
Published:	2004

Similar Items

A Theory of Ultimately Periodic Languages and Automata With an Application to Time Granularity
by: Bresolin, D, et al.
Published: (2009)

Compact and Tractable Automaton−based Representations for Time Granularities
by: Lago, U, et al.
Published: (2007)

Towards Compact and Tractable Automaton−based Representations of Time Granularity
by: Dal Lago, U, et al.
Published: (2003)

On the Relationships Between Theories of Time Granularity and the Monadic Second−order Theory of One Successor
by: Montanari, A, et al.
Published: (2006)

Minimal Memory Automata
by: Benedikt, M, et al.
Published: (2010)

Automata vs. Logics on Data Words
by: Benedikt, M, et al.
Published: (2010)

Automata vs. Logics on Data Words
by: Benedikt, M, et al.
Published: (2010)

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

On the Equivalence of Automaton−Based Representations of Time Granularities
by: Lago, U, et al.
Published: (2007)

Decidability of MSO Theories of Tree Structures
by: Montanari, A, et al.
Published: (2004)

Decidability of the Theory of the Totally Unbounded omega−Layered Structure
by: Montanari, A, et al.
Published: (2004)

A Contraction Method to Decide MSO Theories of Deterministic Trees
by: Montanari, A, et al.
Published: (2007)

Parametric Interrupt Timed Automata
by: Bérard, B, et al.
Published: (2013)

Two variable logic with ultimately periodic counting
by: Benedikt, M, et al.
Published: (2020)

Two variable logic with ultimately periodic counting
by: Benedikt, M, et al.
Published: (2024)

Stochastic Timed Automata
by: Nathalie Bertrand, et al.
Published: (2014-12-01)

Reachability−Time Games on Timed Automata
by: Jurdzinski, M, et al.
Published: (2007)

Concavely−Priced Probabilistic Timed Automata
by: Kwiatkowska, G, et al.
Published: (2009)

Concavely−Priced Timed Automata
by: Jurdzinski, M, et al.
Published: (2008)

Action Transducers and Timed Automata
by: Lynch, Nancy A., et al.
Published: (2023)

Spectral Gap in Timed Automata
by: Asarin, E, et al.
Published: (2013)

CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
by: Jurdzinski, M, et al.
Published: (2009)

Integer Parameter Synthesis for Timed Automata
by: Jovanović, A, et al.
Published: (2013)

Revisiting reachability in timed automata
by: Quaas, K, et al.
Published: (2017)

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

Determinisability of register and timed automata
by: Lorenzo Clemente, et al.
Published: (2022-05-01)

Sampled Semantics of Timed Automata
by: Pavel Krcal, et al.
Published: (2010-09-01)

Alternating Timed Automata over Bounded Time
by: Jenkins, M, et al.
Published: (2010)

Alternating Timed Automata over Bounded Time
by: Jenkins, M, et al.
Published: (2010)

Thermodynamics of deterministic finite automata operating locally and periodically
by: Thomas E Ouldridge, et al.
Published: (2023-01-01)

Periodic Patterns in Orbits of Certain Linear Cellular Automata
by: André Barbé, et al.
Published: (2001-01-01)

A Decidable Spatial Logic with Cone−shaped Cardinal Directions
by: Montanari, A, et al.
Published: (2009)

Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals
by: Montanari, A, et al.
Published: (2010)

Decidability of the Interval Temporal Logic ABB Over the Natural Numbers
by: Montanari, A, et al.
Published: (2010)

Translating timed automata to tock-CSP
by: Khattri, M, et al.
Published: (2011)

Translating Timed Automata to Tock−CSP
by: Khattri, M, et al.
Published: (2011)

On parametric timed automata and one-counter machines
by: Ouaknine, J, et al.
Published: (2016)

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)

The theory of timed I/O automata /
by: Kaynar, Dilsun K.
Published: (2006)