Synthesis and alternating automata over real time

Synthesis and alternating automata over real time

<p>Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, in providing verification algorithms for prominent specification formalisms such as Metric Temporal Logic. Unfor...

Полное описание

Библиографические подробности
Главные авторы:	Jenkins, M, Mark Jenkins
Другие авторы:	Worrell, J
Формат:	Диссертация
Язык:	English
Опубликовано:	2012
Предметы:	Computer science (mathematics) Theory and automated verification Computing Mathematical logic and foundations

Схожие документы

Higher-order semantics for quantum programming languages with classical control
по: Atzemoglou, GP
Опубликовано: (2012)

Topics in monitoring and planning for embedded real-time systems
по: Ho, H
Опубликовано: (2015)

Reasoning with !-graphs
по: Merry, A
Опубликовано: (2013)

Repairing strings and trees
по: Riveros Jaeger, C
Опубликовано: (2013)

An interpolating decision procedure for transitive relations with uninterpreted functions
по: Kroening, D, и др.
Опубликовано: (2009)

Abstract satisfaction
по: Haller, L
Опубликовано: (2013)

Saturation methods for global model-checking pushdown systems
по: Hague, M
Опубликовано: (2009)

Static analyses over weak memory
по: Nimal, V, и др.
Опубликовано: (2014)

Logical abstract interpretation
по: D'Silva, V, и др.
Опубликовано: (2013)

Verification of asynchronous concurrency and the shaped stack constraint
по: Kochems, J
Опубликовано: (2014)

EL-ifying ontologies
по: Carral, D, и др.
Опубликовано: (2014)

Pushing the boundaries of tractable ontology reasoning
по: Carral, D, и др.
Опубликовано: (2014)

Polishness of some topologies related to word or tree automata
по: Olivier Finkel, и др.
Опубликовано: (2019-05-01)

Many-valued coalgebraic logic over semi-primal varieties
по: Alexander Kurz, и др.
Опубликовано: (2024-07-01)

Central limit model checking
по: Bortolussi, L, и др.
Опубликовано: (2018)

Formal methods for the analysis of wireless network protocols
по: Fruth, M
Опубликовано: (2011)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
по: D'Costa, J, и др.
Опубликовано: (2022)

Embedding an object calculus in the unifying theories of programming
по: Smith, M
Опубликовано: (2010)

Techniques and tools for the verification of concurrent systems
по: Palikareva, H
Опубликовано: (2012)

Scalable reasoning for description logics
по: Shearer, R
Опубликовано: (2011)

The real field with an irrational power function and a dense multiplicative subgroup
по: Hieronymi, P
Опубликовано: (2008)

Program analysis with interpolants
по: Weissenbacher, G, и др.
Опубликовано: (2010)

Program synthesis from domain specific object models
по: Faitelson, D
Опубликовано: (2008)

Automatic verification of competitive stochastic systems
по: Simaitis, A
Опубликовано: (2014)

Forward looking logics and automata
по: Ley, C
Опубликовано: (2011)

Pictures of processes
по: Kissinger, A
Опубликовано: (2011)

Weak cost automata over infinite trees
по: Vanden Boom, M
Опубликовано: (2012)

On Galois correspondences in formal logic
по: Yim, A
Опубликовано: (2012)

A hierarchy of failures-based models: theory and application
по: Bolton, C, и др.
Опубликовано: (2005)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
по: Baier, C, и др.
Опубликовано: (2022)

International Symposium on Uniformly Structured Automata and Logic : proceedings
по: International Symposium on Uniformly Structured Automata and Logic (1975 : Tokyo), и др.
Опубликовано: (1975)

Quantitative verification of real-time properties with application to medical devices
по: Marco Diciolla, M, и др.
Опубликовано: (2014)

Arboreal Categories: An Axiomatic Theory of Resources
по: Samson Abramsky, и др.
Опубликовано: (2023-08-01)

Stabilized profunctors and stable species of structures
по: Marcelo Fiore, и др.
Опубликовано: (2024-02-01)

Converse extensionality and apartness
по: Benno van den Berg, и др.
Опубликовано: (2022-12-01)

Presmooth geometries
по: Elsner, B
Опубликовано: (2014)

Algorithmic randomness for Doob's martingale convergence theorem in continuous time
по: Bjørn Kjos-Hanssen, и др.
Опубликовано: (2014-12-01)

Continuous hidden Markov models and the sequential probability ratio test
по: Darwin, O
Опубликовано: (2023)

Theories of real addition with and without a predicate for integers
по: Alexis Bès, и др.
Опубликовано: (2021-05-01)

Deciding Equations in the Time Warp Algebra
по: Sam van Gool, и др.
Опубликовано: (2024-01-01)