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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Jenkins, M, Mark Jenkins
Rannpháirtithe:	Worrell, J
Formáid:	Tráchtas
Teanga:	English
Foilsithe / Cruthaithe:	2012
Ábhair:	Computer science (mathematics) Theory and automated verification Computing Mathematical logic and foundations

Míreanna comhchosúla

Higher-order semantics for quantum programming languages with classical control
de réir: Atzemoglou, GP
Foilsithe / Cruthaithe: (2012)

Topics in monitoring and planning for embedded real-time systems
de réir: Ho, H
Foilsithe / Cruthaithe: (2015)

Reasoning with !-graphs
de réir: Merry, A
Foilsithe / Cruthaithe: (2013)

Repairing strings and trees
de réir: Riveros Jaeger, C
Foilsithe / Cruthaithe: (2013)

An interpolating decision procedure for transitive relations with uninterpreted functions
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2009)

Abstract satisfaction
de réir: Haller, L
Foilsithe / Cruthaithe: (2013)

Saturation methods for global model-checking pushdown systems
de réir: Hague, M
Foilsithe / Cruthaithe: (2009)

Static analyses over weak memory
de réir: Nimal, V, et al.
Foilsithe / Cruthaithe: (2014)

Logical abstract interpretation
de réir: D'Silva, V, et al.
Foilsithe / Cruthaithe: (2013)

Verification of asynchronous concurrency and the shaped stack constraint
de réir: Kochems, J
Foilsithe / Cruthaithe: (2014)

EL-ifying ontologies
de réir: Carral, D, et al.
Foilsithe / Cruthaithe: (2014)

Pushing the boundaries of tractable ontology reasoning
de réir: Carral, D, et al.
Foilsithe / Cruthaithe: (2014)

Polishness of some topologies related to word or tree automata
de réir: Olivier Finkel, et al.
Foilsithe / Cruthaithe: (2019-05-01)

Many-valued coalgebraic logic over semi-primal varieties
de réir: Alexander Kurz, et al.
Foilsithe / Cruthaithe: (2024-07-01)

Central limit model checking
de réir: Bortolussi, L, et al.
Foilsithe / Cruthaithe: (2018)

Formal methods for the analysis of wireless network protocols
de réir: Fruth, M
Foilsithe / Cruthaithe: (2011)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
de réir: D'Costa, J, et al.
Foilsithe / Cruthaithe: (2022)

Embedding an object calculus in the unifying theories of programming
de réir: Smith, M
Foilsithe / Cruthaithe: (2010)

Techniques and tools for the verification of concurrent systems
de réir: Palikareva, H
Foilsithe / Cruthaithe: (2012)

Scalable reasoning for description logics
de réir: Shearer, R
Foilsithe / Cruthaithe: (2011)

The real field with an irrational power function and a dense multiplicative subgroup
de réir: Hieronymi, P
Foilsithe / Cruthaithe: (2008)

Program analysis with interpolants
de réir: Weissenbacher, G, et al.
Foilsithe / Cruthaithe: (2010)

Program synthesis from domain specific object models
de réir: Faitelson, D
Foilsithe / Cruthaithe: (2008)

Automatic verification of competitive stochastic systems
de réir: Simaitis, A
Foilsithe / Cruthaithe: (2014)

Forward looking logics and automata
de réir: Ley, C
Foilsithe / Cruthaithe: (2011)

Pictures of processes
de réir: Kissinger, A
Foilsithe / Cruthaithe: (2011)

Weak cost automata over infinite trees
de réir: Vanden Boom, M
Foilsithe / Cruthaithe: (2012)

On Galois correspondences in formal logic
de réir: Yim, A
Foilsithe / Cruthaithe: (2012)

A hierarchy of failures-based models: theory and application
de réir: Bolton, C, et al.
Foilsithe / Cruthaithe: (2005)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
de réir: Baier, C, et al.
Foilsithe / Cruthaithe: (2022)

International Symposium on Uniformly Structured Automata and Logic : proceedings
de réir: International Symposium on Uniformly Structured Automata and Logic (1975 : Tokyo), et al.
Foilsithe / Cruthaithe: (1975)

Quantitative verification of real-time properties with application to medical devices
de réir: Marco Diciolla, M, et al.
Foilsithe / Cruthaithe: (2014)

Arboreal Categories: An Axiomatic Theory of Resources
de réir: Samson Abramsky, et al.
Foilsithe / Cruthaithe: (2023-08-01)

Stabilized profunctors and stable species of structures
de réir: Marcelo Fiore, et al.
Foilsithe / Cruthaithe: (2024-02-01)

Converse extensionality and apartness
de réir: Benno van den Berg, et al.
Foilsithe / Cruthaithe: (2022-12-01)

Presmooth geometries
de réir: Elsner, B
Foilsithe / Cruthaithe: (2014)

Algorithmic randomness for Doob's martingale convergence theorem in continuous time
de réir: Bjørn Kjos-Hanssen, et al.
Foilsithe / Cruthaithe: (2014-12-01)

Continuous hidden Markov models and the sequential probability ratio test
de réir: Darwin, O
Foilsithe / Cruthaithe: (2023)

Theories of real addition with and without a predicate for integers
de réir: Alexis Bès, et al.
Foilsithe / Cruthaithe: (2021-05-01)

Deciding Equations in the Time Warp Algebra
de réir: Sam van Gool, et al.
Foilsithe / Cruthaithe: (2024-01-01)