Model Checking CTL is Almost Always Inherently Sequential

Get full text

Multi-Objective Model Checking of Markov Decision Processes

Get full text

Model Checking One-clock Priced Timed Automata

Get full text

Model Checking Synchronized Products of Infinite Transition Systems

Get full text

The Complexity of Model Checking Higher-Order Fixpoint Logic

Get full text

Model-Checking Problems as a Basis for Parameterized Intractability

Get full text

Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking

Get full text

ConstraintHg: A Kernel for Systems Modeling and Simulation

Get full text

Implementation-Aware Latency and Energy Modeling for Tiling on the Edge

Get full text

FlightKooba: A Fast Interpretable FTP Model

Get full text

r.earthworks: a GRASS tool for terrain modeling

Get full text

Diffusion-Enhanced Identifiable Confounder Modeling for Debiased Recommendation

Get full text

Machine-Learning-Empowered Propagation Measurement and Modeling for an Amphitheater

Get full text

Watertight surface reconstruction method for CAD models based on optimal transport

Get full text

: A visual analytics design for higher-order movement modeling and visualization

Get full text

CLIP-SP: Vision-language model with adaptive prompting for scene parsing

Get full text

Towards autonomous production control: a reinforcement learning-based model for hybrid remanufacturing systems

Get full text

Simplified convolutional model for detecting vibration anomalies in helicopters operation

Get full text

MODELING AND SIMULATION OF INDUSTRIAL ROBOT ARMS USING SIMSCAPE MULTIBODY

Get full text

A Temporally Disentangled Contrastive Diffusion Model for Spatiotemporal Imputation

Get full text