Amanote Research
Register
Sign In
Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata
doi 10.1109/formalise.2019.00015
Full Text
Open PDF
Abstract
Available in
full text
Date
May 1, 2019
Authors
Maxime Cordy
Axel Legay
Sami Lazreg
Philippe Collet
Publisher
IEEE
Related search
Nested Weighted Automata
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
General Indexation of Weighted Automata
Analysis of Standards Towards Simulation-Based Integrated Production Planning
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Automata Evaluation and Text Search Protocols With Simulation-Based Security
Journal of Cryptology
Applied Mathematics
Computer Science Applications
Software
Structural Reliability Analysis Based on a Limited Directional Important Sampling Simulation
Transactions of the JSME (in Japanese)
Simulation of Employee Behavior Based on Cellular Automata Model
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logical Characterization of Weighted Pebble Walking Automata
An Efficient Method for Reliability Estimation Using the Combination of Asymptotic Sampling and Weighted Simulation
Scientia Iranica
State-Dependent Biasing Method for Importance Sampling in the Weighted Stochastic Simulation Algorithm
Journal of Chemical Physics
Medicine
Theoretical Chemistry
Astronomy
Physics
Physical