Keywords: اتوماتای متناوب; Fuzzy alternating automata; Fuzzy positive Boolean formulas; Alternating automata; Distributive lattices;
مقالات ISI اتوماتای متناوب (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Fuzzy alternating Büchi automata over distributive lattices
Keywords: اتوماتای متناوب; Fuzzy alternating Büchi automata; Fuzzy automata; Alternating automata; Distributive lattices;
Once and for all
Keywords: اتوماتای متناوب; Temporal logic; Past-time operators; Expressive power; Decision procedures; Alternating automata
Bounded Model Checking with SNF, Alternating Automata, and Büchi Automata
Keywords: اتوماتای متناوب; Bounded model checking; SNF; LTL; Büchi automata; Alternating automata;
Alternating automata and temporal logic normal forms
Keywords: اتوماتای متناوب; 03B44; 68Q45; 68Q60; Temporal logic; Alternating automata; Specification and verification;
Simulation relations for alternating Büchi automata
Keywords: اتوماتای متناوب; Alternating automata; Büchi automata; Büchi games; Simulation relations; Quotienting; Automata simplification;