Skip to main content

4 articles related to "Formal Modelling"

No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.
No matches to your query could be found. Try another search term.

Articles

Original Research

Published on 27 Jan 2022

Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal

in Space Robotics

Marie Farrell
Nikos Mavrakis
Angelo Ferrando
Clare Dixon
Yang Gao

Frontiers in Robotics and AI

doi 10.3389/frobt.2021.639282

5,688 views
16 citations

Original Research

Published on 24 Oct 2017

Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications

Jie Zhang
Man Kang
Xiaojuan Li
Geng-yang Liu

Frontiers in Neurorobotics

doi 10.3389/fnbot.2017.00056

8,548 views
13 citations

Original Research

Published on 02 Apr 2024

A novel approach toward cyberbullying with intelligent recommendations using deep learning based blockchain solution

in Precision Medicine

Aliaa M. Alabdali
Arwa Mashat

Frontiers in Medicine

doi 10.3389/fmed.2024.1379211

3,291 views
6 citations

Hypothesis and Theory

Published on 29 Aug 2019

Social Influence in Adolescent Decision-Making: A Formal Framework

in Decision Neuroscience

Simon Ciranka
Wouter van den Bos

Frontiers in Psychology

doi 10.3389/fpsyg.2019.01915

241,231 views
142 citations