Playing Stochastically in Weighted Timed Games to Emulate Memory

Get full text

One-Clock Priced Timed Games with Negative Weights

Get full text

Timed Automata Robustness Analysis via Model Checking

Get full text

Specification and Verification of Timing Properties in Interoperable Medical Systems

Get full text

Conformance Relations and Hyperproperties for Doping Detection in Time and Space

Get full text

Reachability for infinite time Turing machines with long tapes

Get full text

Analysis of Timed and Long-Run Objectives for Markov Automata

Get full text

A Fragment of Dependence Logic Capturing Polynomial Time

Get full text

Model Checking One-clock Priced Timed Automata

Get full text

Sparseness-Optimized Feature Importance for Time Series Classification

Get full text

Real-time Binocular 3D Reconstruction for Enhanced Depth Perception and Virtual Reality

Get full text

A batch scheduling model on unrelated parallel machines with resource constraints and sequence-dependent setup time to minimize total actual flow time

Get full text

Journalistic practice in times of crisis: A scoping review of role shifts and challenges tied to news production under extraordinary conditions

Get full text

Fixed-time adaptive fuzzy command filtering control for a two-joint robotic manipulator with input dead zone saturation and time-varying delay

Get full text

IBformer: Inductive Bias is Necessary for Multivariate Time Series Forecasting

Get full text

Administrative data on German short-time work: essentials and potentials

Get full text

Unveiling the drivers of the gender gap in part-time work in Spain

Get full text

Visualizing Multivariate Time Series of Aerial Fire Fighting Data

Get full text

Multiobjective Green Time-Dependent Location-Routing Problem and Algorithms

Get full text

$rm P$ has polynomial-time finite-state verifiers

Get full text