Nested Weighted Automata

ACM Transactions on Computational Logic - United States
doi 10.1145/3152769
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

General Indexation of Weighted Automata

2004English

Logical Characterization of Weighted Pebble Walking Automata

2014English

Lower-Bound Constrained Runs in Weighted Timed Automata

2012English

Equivalences Between Ranked and Unranked Weighted Tree Automata via Binarization

2016English

Leveraging Weighted Automata in Compositional Reasoning About Concurrent Probabilistic Systems

ACM SIGPLAN Notices
Computer Science
2015English

Weighted Logics for Nested Words and Algebraic Formal Power Series

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata

2019English

On Weighted Time-Optimal Control for Linear Hybrid Automata Using Quantifier Elimination

IFAC Proceedings Volumes
2004English

Multiple Timing of Nested Intervals: Further Evidence for a Weighted Sum of Segments Account

Psychonomic Bulletin and Review
DevelopmentalArtsEducational PsychologyCognitive PsychologyHumanitiesExperimental
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy