نتائج البحث

Reachability Analysis of Neural Networks with Uncertain Parameters

• Authors : Meyer, Pierre-Jean;

Subjects: Uncertain systems reachability analysis neural network; Uncertain systems; reachability analysisYokohama; Japan

• Source: IFAC World Congress ; https://hal.science/hal-04426128 ; IFAC World Congress, Jul 2023, Yokohama, Japan. ⟨10.1016/j.ifacol.2023.10.1249⟩

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

Demystifying Reachability in Vector Addition Systems

• Authors : Leroux, Jérôme; Schmitz, Sylvain;

Subjects: ideal; well quasi order; vector addition systemKyoto; JapanKyoto, Japan

• Source: LICS 2015 ; https://hal.science/hal-01168388 ; LICS 2015, Jul 2015, Kyoto, Japan. pp.56--67, ⟨10.1109/LICS.2015.16⟩

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

Non-emptiness Test for Automata over Words Indexed by the Reals and Rationals

• Authors : Boigelot, Bernard; Fontaine, Pascal; Vergain, Baptiste ...

Subjects: Automata; Linear Orderings; Real DomainAkita; Japan

• Source: CIAA 2024 - 28th International Conference on Implementation and Application of Automata ; https://inria.hal.science/hal-04896026 ; CIAA 2024 - 28th International Conference on Implementation and

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

Fault Tolerant Reachability for Directed Graphs

• Authors : Baswana, Surender; Choudhary, Keerti; Roditty, Liam ...

Subjects: [INFO.INFO-DC]Computer Science [cs]/Distributed; Parallel; and Cluster Computing [cs.DC]Tokyo; Japan

• Source: DISC 2015 ; https://hal.archives-ouvertes.fr/hal-01207207 ; DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_35⟩

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

Stochastic model predictive control for linear systems affected by correlated disturbances

• Authors : Chaouach, Lotfi, Mustapha; Fiacchini, Mirko; Alamo, Teodoro ...

Subjects: Stochastic model predictive control; Probabilistic reachability; Probabilistic invarianceKyoto; JapanKyoto, Japan

• Source: IFAC-PapersOnLine ; ROCOND 2022 - 10th IFAC Symposium on Robust Control Design ; https://hal.univ-grenoble-alpes.fr/hal-03706831 ; ROCOND 2022 - 10th IFAC Symposium on Robust Control Design, Aug 2022,

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

Versatile cleaning service robot based on a mobile manipulator with tool switching for liquids and garbage removal in restrooms.

• Authors : Wakayama, Tatsuhiro¹ (AUTHOR); Fujiura, Eri¹ (AUTHOR); Yamaguchi, Mari¹ (AUTHOR)

• Source: Advanced Robotics. Sep2022, Vol. 36 Issue 17/18, p967-981. 15p.

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

Validation Method for Telecommunications Protocol with Internal Events.

• Authors : Wakahara, Yasushi¹; Kakuda, Yoshiaki¹

• Source: Electronics & Communications in Japan, Part 1: Communications. Sep92, Vol. 75 Issue 9, p16-30. 15p.

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

How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?

• Authors : Iosif, Radu; Sangnier, Arnaud;

Subjects: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]Chiba; Japan

• Source: Lecture Notes in Computer Science ; 14th International Symposium on Automated Technology for Verification and Analysis ; https://hal.science/hal-01418881 ; 14th International Symposium on Automated

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

Decision Problems for Parametric Timed Automata

• Authors : André, Étienne; Lime, Didier; Roux, Olivier Henri ...

Subjects: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]Tokyo; Japan

• Source: Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings ; 18th

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

EB4EB: A Framework for Reflexive Event-B

• Authors : Riviere, Peter; Singh, Neeraj Kumar; Aït-Ameur, Yamine ...

Subjects: reflection; refinement and proof; meta-modelsHiroshima; Japan

• Source: 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS)26th International Conference on Engineering of Complex Computer Systems (ICECCS 2022)

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