نتائج البحث

Quantum Systems from Random Probabilistic Automata

• Authors : Kreuzkamp, A.; Wetterich, C.

Subjects: Quantum Physics; Nonlinear Sciences - Cellular Automata and Lattice Gases

تفاصيل العنوان

State-Based Differential Privacy Verification and Enforcement for Probabilistic Automata.

• Authors : Teng, Yuanxiu¹ (AUTHOR) ; Li, Zhiwu¹ (AUTHOR); Yin, Li¹ (AUTHOR)

• Source: Mathematics (2227-7390). Apr2023, Vol. 11 Issue 8, p1853. 21p.

تفاصيل العنوان

Online Verification and Enforcement of Sequential K-Opacity in Extended Probabilistic Automata

• Authors : Tareq Ahmad Al-Sarayrah; Zhiwu Li; Li Yin

Subjects: Discrete event system; extended probabilistic automaton; sequential k-opacity

• Source: IEEE Access, Vol 12, Pp 84189-84203 (2024)

تفاصيل العنوان

Probabilistic Automata of Bounded Ambiguity

• Authors : Fijalkow, Nathanaël; Riveros, Cristian; Worrell, James

Subjects: Computer Science - Formal Languages and Automata Theory

• Source: Information and Computation, Volume 282, January 2022, 104648

تفاصيل العنوان

Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism

• Authors : Benveniste, Albert; Raclet, Jean-Baptiste

Subjects: Computer Science - Artificial Intelligence

تفاصيل العنوان

FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata

• Authors : Verwer, Sicco; Hammerschmidt, Christian

Subjects: Computer Science - Machine Learning; Computer Science - Logic in Computer Science; Computer Science - Software Engineering

تفاصيل العنوان

Particle Swarm Optimization-Based Model Abstraction and Explanation Generation for a Recurrent Neural Network.

• Authors : Liu, Yang¹ (AUTHOR) ; Wang, Huadong¹ (AUTHOR); Ma, Yan² (AUTHOR)

• Source: Algorithms. May2024, Vol. 17 Issue 5, p210. 21p.

تفاصيل العنوان

Decision Questions for Probabilistic Automata on Small Alphabets

• Authors : Bell, Paul C.; Semukhin, Pavel

Subjects: Computer Science - Formal Languages and Automata Theory; Computer Science - Logic in Computer Science

• Source: Logical Methods in Computer Science, Volume 19, Issue 4 (December 21, 2023) lmcs:9753

تفاصيل العنوان

Verification and Enforcement of (ϵ , ξ)-Differential Privacy over Finite Steps in Discrete Event Systems.

• Authors : Al-Sarayrah, Tareq Ahmad¹ (AUTHOR); Li, Zhiwu² (AUTHOR) ; Zhu, Guanghui³ (AUTHOR)

• Source: Mathematics (2227-7390). Dec2023, Vol. 11 Issue 24, p4991. 25p.

تفاصيل العنوان

Inferring Temporal Compositions of Actions Using Probabilistic Automata

• Authors : Cruz, Rodrigo Santa; Cherian, Anoop; Fernando, Basura

Subjects: Computer Science - Computer Vision and Pattern Recognition

تفاصيل العنوان

Compositionality for Probabilistic Automata

تفاصيل العنوان

An Intrusion Detection System for Drone Swarming Utilizing Timed Probabilistic Automata

• Authors : Venkatraman Subbarayalu; Maria Anu Vensuslaus

Subjects: drones; intrusion detection; probabilistic automata

• Source: Drones, Vol 7, Iss 4, p 248 (2023)

تفاصيل العنوان

Decision Questions for Probabilistic Automata on Small Alphabets

• Authors : Paul C. Bell; Pavel Semukhin

Subjects: computer science - formal languages and automata theory; computer science - logic in computer science; Logic

• Source: Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)

تفاصيل العنوان

Motif-Based Community Detection: A Probabilistic Model Based on Repeating Patterns.

• Authors : Hajibabaei, H.¹ ; Seydi, V.^1,2 ; Koochari, A.²

Subjects: *NEIGHBORHOODS; *COMMUNITIES; *QUANTUM computing

• Source: Journal of Electrical & Computer Engineering Innovations (JECEI). Winter/Spring2024, Vol. 12 Issue 1, p247-258. 12p.

تفاصيل العنوان

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

• Authors : Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.

Subjects: Computer Science - Formal Languages and Automata Theory; Computer Science - Logic in Computer Science

• Source: Logical Methods in Computer Science, Volume 17, Issue 1 (February 2, 2021) lmcs:5994

تفاصيل العنوان

Mixed Nondeterministic-Probabilistic Automata ; Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism

• Authors : Benveniste, Albert; Raclet, Jean-Baptiste;

Subjects: Bayesian networks; Probabilistic programming; Probabilistic automata

• Source: ISSN: 0924-6703.

تفاصيل العنوان

Polynomially Ambiguous Probabilistic Automata on Restricted Languages

• Authors : Bell, Paul C.

Subjects: Computer Science - Formal Languages and Automata Theory; Computer Science - Computational Complexity; 68Q45

تفاصيل العنوان

Convex Language Semantics for Nondeterministic Probabilistic Automata

• Authors : van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël

Subjects: Computer Science - Formal Languages and Automata Theory; Computer Science - Logic in Computer Science

تفاصيل العنوان

When is Containment Decidable for Probabilistic Automata?

• Authors : Daviaud, Laure; Jurdziński, Marcin; Lazić, Ranko

Subjects: Computer Science - Formal Languages and Automata Theory; F.3.1

تفاصيل العنوان

Two Undecidability Results in Probabilistic Automata Theory

تفاصيل العنوان

Runtime verification of self-adaptive multi-agent system using probabilistic timed automata.

• Authors : Mu, Yongan¹ (AUTHOR); Liu, Wei¹ (AUTHOR) ; Lu, Tao¹ (AUTHOR)

• Source: Journal of Intelligent & Fuzzy Systems. 2023, Vol. 45 Issue 6, p10305-10322. 18p.

تفاصيل العنوان

基于概率时间自动机的异构多agent自适应运行时验证.

• Authors : 穆勇安¹; 刘玮¹ ; 高胜¹

• Source: Application Research of Computers / Jisuanji Yingyong Yanjiu. Dec2023, Vol. 40 Issue 12, p3728-3735. 8p.

تفاصيل العنوان

Probabilistic Automata of Bounded Ambiguity

Subjects: Computer Science - Formal Languages and Automata Theory; text

تفاصيل العنوان

Two Recursively Inseparable Problems for Probabilistic Automata

• Authors : Fijalkow, Nathanaël; Gimbert, Hugo; Horn, Florian

Subjects: Computer Science - Formal Languages and Automata Theory

تفاصيل العنوان

Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism

Subjects: Computer Science - Artificial Intelligence; text

تفاصيل العنوان