Autor der Publikation

An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts.

, , , , , und . CoRR, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Finite-time coordinated path-following control of leader-following multi-agent systems., , und . Frontiers Inf. Technol. Electron. Eng., 23 (10): 1511-1521 (2022)Discrete-time formation tracking control for first-order agents along skewed superellipses., , und . J. Frankl. Inst., 359 (7): 3148-3163 (2022)Event-Based Fixed-Time Consensus Tracking for Constrained Networked Euler-Lagrange Systems., , , und . IEEE Syst. J., 18 (1): 770-781 (März 2024)Cooperative Trajectory Prediction of UAVs via Generative Adversarial Networks., , , , , und . IECON, Seite 1-6. IEEE, (2023)Finite-time control of spherical formation tracking of first-order UAVs., und . CACRE, Seite 163-167. IEEE, (2021)Distributed Parameter Estimation Using Invariant Manifold Approach., und . CACRE, Seite 302-307. IEEE, (2020)Quantized practical fixed-time consensus tracking for networked Euler-Lagrange systems under the predetermined workspace., , , und . Trans. Inst. Meas. Control, 46 (6): 1069-1083 (2024)Adaptive event-triggered actor-critic algorithm for optimal 3D formation circumnavigation with relative measurement and an unknown moving target., , und . J. Frankl. Inst., 360 (18): 14309-14328 (Dezember 2023)Adaptive Projection and Fuzzy Tracking Design for Unknown Control Coefficients and References., , und . IEEE Trans. Cybern., 54 (4): 2235-2243 (April 2024)Cooperative control of multi-agent moving along a set of given curves., und . J. Syst. Sci. Complex., 24 (4): 631-646 (2011)