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...

書目詳細資料
Main Authors:	Jenkins, M, Mark Jenkins
其他作者:	Worrell, J
格式:	Thesis
語言:	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, et al.
出版: (2009)

Abstract satisfaction
由: Haller, L
出版: (2013)

Saturation methods for global model-checking pushdown systems
由: Hague, M
出版: (2009)

Static analyses over weak memory
由: Nimal, V, et al.
出版: (2014)

Logical abstract interpretation
由: D'Silva, V, et al.
出版: (2013)

Verification of asynchronous concurrency and the shaped stack constraint
由: Kochems, J
出版: (2014)

EL-ifying ontologies
由: Carral, D, et al.
出版: (2014)

Pushing the boundaries of tractable ontology reasoning
由: Carral, D, et al.
出版: (2014)

Polishness of some topologies related to word or tree automata
由: Olivier Finkel, et al.
出版: (2019-05-01)

Many-valued coalgebraic logic over semi-primal varieties
由: Alexander Kurz, et al.
出版: (2024-07-01)

Central limit model checking
由: Bortolussi, L, et al.
出版: (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, et al.
出版: (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, et al.
出版: (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, et al.
出版: (2005)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
由: Baier, C, et al.
出版: (2022)

International Symposium on Uniformly Structured Automata and Logic : proceedings
由: International Symposium on Uniformly Structured Automata and Logic (1975 : Tokyo), et al.
出版: (1975)

Quantitative verification of real-time properties with application to medical devices
由: Marco Diciolla, M, et al.
出版: (2014)

Arboreal Categories: An Axiomatic Theory of Resources
由: Samson Abramsky, et al.
出版: (2023-08-01)

Stabilized profunctors and stable species of structures
由: Marcelo Fiore, et al.
出版: (2024-02-01)

Converse extensionality and apartness
由: Benno van den Berg, et al.
出版: (2022-12-01)

Presmooth geometries
由: Elsner, B
出版: (2014)

Algorithmic randomness for Doob's martingale convergence theorem in continuous time
由: Bjørn Kjos-Hanssen, et al.
出版: (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, et al.
出版: (2021-05-01)

Deciding Equations in the Time Warp Algebra
由: Sam van Gool, et al.
出版: (2024-01-01)