Decidability of One-Clock Weighted Timed Games with Arbitrary Weights

Get full text

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties

Get full text

Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence

Get full text

A Recursive Approach to Solving Parity Games in Quasipolynomial Time

Get full text

Failure Trace Semantics for a Process Algebra with Time-outs

Get full text

Life is Random, Time is Not: Markov Decision Processes with Window Objectives

Get full text

Query learning of derived $omega$-tree languages in polynomial time

Get full text

Verification for Timed Automata extended with Unbounded Discrete Data Structures

Get full text

Compositional Verification for Timed Systems Based on Automatic Invariant Generation

Get full text

Program Logics for Homogeneous Generative Run-Time Meta-Programming

Get full text

Algorithmic randomness for Doob's martingale convergence theorem in continuous time

Get full text

Computing a Solution of Feigenbaum's Functional Equation in Polynomial Time

Get full text

Pebble Games, Proof Complexity, and Time-Space Trade-offs

Get full text

The complexity of linear-time temporal logic over the class of ordinals

Get full text

Model Checking Probabilistic Timed Automata with One or Two Clocks

Get full text

Group size and individual ‘personality’ influence emergence times in hermit crabs

Get full text

Consumption Time: The Transformation Of Temporality in Social Organizatıon from Production to Consumption

Get full text

Forecasting cryptocurrencies in turbulent times: Evidence on parsimony versus model complexity

Get full text

Real-Time Beehive Monitoring and Control for Precision Beekeeping Using IoT

Get full text

A Review of Birth-Death and Other Markovian Discrete-Time Queues

Get full text