Ảnh bìa

Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete

CC BY

Lưu vào:

Hiển thị chi tiết
Tác giả chính:	Stefan, Göller, Mathieu, Hilaire
Định dạng:	Sách
Ngôn ngữ:	English
Nhà xuất bản:	Springer 2023
Chủ đề:	PTA PSPACENEXP
Truy cập trực tuyến:	https://link.springer.com/article/10.1007/s00224-023-10121-3 https://dlib.phenikaa-uni.edu.vn/handle/PNK/8362
Từ khóa:	Thêm từ khóa Không có từ khóa, Hãy là người đầu tiên đánh dấu biểu ghi này!

Tài liệu tương tự

Tailoring load balancing of cellular automata parallel execution to the case of a two-dimensional partitioned domain
theo: Alessio De, Rango, và những người khác
Nhà xuất bản: (2023)

Efficient and certified solution of parametrized one-way coupled problems through DEIM-based data projection across non-conforming interfaces
theo: Elena, Zappon, và những người khác
Nhà xuất bản: (2023)

Maximum relative distance between real rank-two and rank-one tensors
theo: Henrik, Eisenmann, và những người khác
Nhà xuất bản: (2023)

ClaSP: parameter-free time series segmentation
theo: Arik, Ermshaus, và những người khác
Nhà xuất bản: (2023)

Completed sample correlations and feature dependency-based unsupervised feature selection
theo: Tong, Liu, và những người khác
Nhà xuất bản: (2023)

Proportions, Constraints and Semantics for a Parametric Model
theo: Massimiliano Lo, Turco, và những người khác
Nhà xuất bản: (2023)

$General one-dimensional model of the time-fractional diffusion-wave equation in various geometries$

General one-dimensional model of the time-fractional diffusion-wave equation in various geometries
theo: Ján, Terpák
Nhà xuất bản: (2023)

Parametric study of the collision modes of compound droplets in simple shear flow
theo: Truong V. Vu
Nhà xuất bản: (2020)

Ultra-fast meta-parameter optimization for time series similarity measures with application to nearest neighbour classification
theo: Chang Wei, Tan, và những người khác
Nhà xuất bản: (2023)

Blameworthiness and the Outcomes of One’s Actions
theo: Lee, Ambrose Y. K.
Nhà xuất bản: (2023)

A Proposal for a Parametric 3D City Model Semantic Format
theo: Federico Mario La, Russa
Nhà xuất bản: (2023)

EU environmental law in face of 2022 challenges: a Prufrock-like confession during times when one should dare?
theo: Goncalves, Luisa Cortat Simonetti
Nhà xuất bản: (2023)

Is there more than one stickiness criterion
theo: Anle, Wang, và những người khác
Nhà xuất bản: (2023)

The one thing : Điều ý nghĩa nhất trong từng khoảnh khắc cuộc đời /
theo: Keller, Gary
Nhà xuất bản: (2019)

Eigenvalues and Eigenfunctions of One-Dimensional Fractal Laplacians
theo: Wei, Tang, và những người khác
Nhà xuất bản: (2023)

Monitoring variability in parameter estimates for lumped parameter models of the systemic circulation using longitudinal hemodynamic measurements
theo: Nikolai L., Bjørdalsbakke, và những người khác
Nhà xuất bản: (2023)

Inserting One Edge into a Simple Drawing is Hard
theo: Alan, Arroyo, và những người khác
Nhà xuất bản: (2023)

Free-view Face Relighting Using a Hybrid Parametric Neural Model on a SMALL-OLAT Dataset
theo: Youjia, Wang, và những người khác
Nhà xuất bản: (2023)

Model-Based Parametric Study of Surface-Breaking Defect Characterization Using Half-Skip Total Focusing Method
theo: Xiangyu, Lei, và những người khác
Nhà xuất bản: (2023)

Anisotropic hyperbolic inflation for a model of two scalar and two vector fields
theo: Tuan Q. Do, và những người khác
Nhà xuất bản: (2022)

Parameter estimation in reliability and life span models /
theo: Cohen, A. Clifford
Nhà xuất bản: (1988)

Anisotropic power-law inflation for a model of two scalar and two vector fields
theo: Tuan Q. Do, và những người khác
Nhà xuất bản: (2021)

One-Year Survival of Ischemic Stroke Patients Requiring Mechanical Ventilation
theo: Harri, Isokuortti, và những người khác
Nhà xuất bản: (2023)

A Tale of Two Systems
theo: Reitsma, René
Nhà xuất bản: (2022)

The investigation of treatment design parameters on carbon integration networks
theo: Alnouri, Sabla Y., và những người khác
Nhà xuất bản: (2023)

Optimizing the Parameter of the LQR Controller for Active Suspension System
theo: Thi Thu Huong, Tran, và những người khác
Nhà xuất bản: (2022)

Effect of one-lung ventilation on the correlation between left and right cerebral saturation
theo: Cai-Juan, Zhang, và những người khác
Nhà xuất bản: (2023)

Predicting EHL film thickness parameters by machine learning approaches
theo: Max, Marian, và những người khác
Nhà xuất bản: (2023)

Selective discrimination of hazardous gases using one single metal oxide resistive sensor
theo: M. Tonezzer
Nhà xuất bản: (2020)

Orthogonal stochastic configuration networks with adaptive construction parameter for data analytics
theo: Wei, Dai, và những người khác
Nhà xuất bản: (2023)

Differentiation of integral Mittag-Leffler and integral Wright functions with respect to parameters
theo: Alexander, Apelblat, và những người khác
Nhà xuất bản: (2023)

Geometrical parameters and strength of clinching joint formed with the use of an additional rivet
theo: Jacek, Mucha, và những người khác
Nhà xuất bản: (2023)

On the equivalence of two post-quantum cryptographic families
theo: Alessio, Meneghetti, và những người khác
Nhà xuất bản: (2023)

Dominance Regions for Rank Two Cluster Algebras
theo: Dylan, Rupel, và những người khác
Nhà xuất bản: (2023)

One-Pot Synthesis of Magnetoplasmonic Au@FexOy Nanowires: Bioinspired Bouligand Chiral Stack
theo: Nguyen, Huu Quang, và những người khác
Nhà xuất bản: (2022)

One-Pot Synthesis of Magnetoplasmonic Au@FexOy Nanowires: Bioinspired Bouligand Chiral Stack
theo: Huu-Quang Nguyen, và những người khác
Nhà xuất bản: (2022)

Feasibility and optimal choice of stimulation parameters for supramaximal stimulation of motor evoked potentials
theo: S. E., Dulfer, và những người khác
Nhà xuất bản: (2023)

Two neural pathways for toxin-induced defensive responses
theo: Hongyu, Chai, và những người khác
Nhà xuất bản: (2023)

Canonical seesaw implication for two-component dark matter
theo: Phung Van Dong
Nhà xuất bản: (2021)

Arc Routing with Time-Dependent Travel Times and Paths
theo: Vidal, Thibaut
Nhà xuất bản: (2021)

Cannot write session to /tmp/vufind_sessions/sess_j0m61gauv5e0iqkdi929e7332c