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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Jenkins, M, Mark Jenkins
Tác giả khác:	Worrell, J
Định dạng:	Luận văn
Ngôn ngữ:	English
Được phát hành:	2012
Những chủ đề:	Computer science (mathematics) Theory and automated verification Computing Mathematical logic and foundations

Những quyển sách tương tự

Higher-order semantics for quantum programming languages with classical control
Bằng: Atzemoglou, GP
Được phát hành: (2012)

Topics in monitoring and planning for embedded real-time systems
Bằng: Ho, H
Được phát hành: (2015)

Reasoning with !-graphs
Bằng: Merry, A
Được phát hành: (2013)

Repairing strings and trees
Bằng: Riveros Jaeger, C
Được phát hành: (2013)

An interpolating decision procedure for transitive relations with uninterpreted functions
Bằng: Kroening, D, et al.
Được phát hành: (2009)

Abstract satisfaction
Bằng: Haller, L
Được phát hành: (2013)

Saturation methods for global model-checking pushdown systems
Bằng: Hague, M
Được phát hành: (2009)

Static analyses over weak memory
Bằng: Nimal, V, et al.
Được phát hành: (2014)

Logical abstract interpretation
Bằng: D'Silva, V, et al.
Được phát hành: (2013)

Verification of asynchronous concurrency and the shaped stack constraint
Bằng: Kochems, J
Được phát hành: (2014)

EL-ifying ontologies
Bằng: Carral, D, et al.
Được phát hành: (2014)

Pushing the boundaries of tractable ontology reasoning
Bằng: Carral, D, et al.
Được phát hành: (2014)

Polishness of some topologies related to word or tree automata
Bằng: Olivier Finkel, et al.
Được phát hành: (2019-05-01)

Many-valued coalgebraic logic over semi-primal varieties
Bằng: Alexander Kurz, et al.
Được phát hành: (2024-07-01)

Central limit model checking
Bằng: Bortolussi, L, et al.
Được phát hành: (2018)

Formal methods for the analysis of wireless network protocols
Bằng: Fruth, M
Được phát hành: (2011)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
Bằng: D'Costa, J, et al.
Được phát hành: (2022)

Embedding an object calculus in the unifying theories of programming
Bằng: Smith, M
Được phát hành: (2010)

Techniques and tools for the verification of concurrent systems
Bằng: Palikareva, H
Được phát hành: (2012)

Scalable reasoning for description logics
Bằng: Shearer, R
Được phát hành: (2011)

The real field with an irrational power function and a dense multiplicative subgroup
Bằng: Hieronymi, P
Được phát hành: (2008)

Program analysis with interpolants
Bằng: Weissenbacher, G, et al.
Được phát hành: (2010)

Program synthesis from domain specific object models
Bằng: Faitelson, D
Được phát hành: (2008)

Automatic verification of competitive stochastic systems
Bằng: Simaitis, A
Được phát hành: (2014)

Forward looking logics and automata
Bằng: Ley, C
Được phát hành: (2011)

Pictures of processes
Bằng: Kissinger, A
Được phát hành: (2011)

Weak cost automata over infinite trees
Bằng: Vanden Boom, M
Được phát hành: (2012)

On Galois correspondences in formal logic
Bằng: Yim, A
Được phát hành: (2012)

A hierarchy of failures-based models: theory and application
Bằng: Bolton, C, et al.
Được phát hành: (2005)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
Bằng: Baier, C, et al.
Được phát hành: (2022)

International Symposium on Uniformly Structured Automata and Logic : proceedings
Bằng: International Symposium on Uniformly Structured Automata and Logic (1975 : Tokyo), et al.
Được phát hành: (1975)

Quantitative verification of real-time properties with application to medical devices
Bằng: Marco Diciolla, M, et al.
Được phát hành: (2014)

Arboreal Categories: An Axiomatic Theory of Resources
Bằng: Samson Abramsky, et al.
Được phát hành: (2023-08-01)

Stabilized profunctors and stable species of structures
Bằng: Marcelo Fiore, et al.
Được phát hành: (2024-02-01)

Converse extensionality and apartness
Bằng: Benno van den Berg, et al.
Được phát hành: (2022-12-01)

Presmooth geometries
Bằng: Elsner, B
Được phát hành: (2014)

Algorithmic randomness for Doob's martingale convergence theorem in continuous time
Bằng: Bjørn Kjos-Hanssen, et al.
Được phát hành: (2014-12-01)

Continuous hidden Markov models and the sequential probability ratio test
Bằng: Darwin, O
Được phát hành: (2023)

Theories of real addition with and without a predicate for integers
Bằng: Alexis Bès, et al.
Được phát hành: (2021-05-01)

Deciding Equations in the Time Warp Algebra
Bằng: Sam van Gool, et al.
Được phát hành: (2024-01-01)