Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Probabilistic model checking and autonomy
The design and control of autonomous systems that operate in uncertain or adversarial
environments can be facilitated by formal modeling and analysis. Probabilistic model …
environments can be facilitated by formal modeling and analysis. Probabilistic model …
Scheduling of missions with constrained tasks for heterogeneous robot systems
We present a formal tasK AllocatioN and scheduling apprOAch for multi-robot missions
(KANOA). KANOA supports two important types of task constraints: task ordering, which …
(KANOA). KANOA supports two important types of task constraints: task ordering, which …
Model checking for closed-loop robot reactive planning
In this paper, we show how model checking can be used to create multi-step plans for a
differential drive wheeled robot so that it can avoid immediate danger. Using a small …
differential drive wheeled robot so that it can avoid immediate danger. Using a small …
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems
Abstract Machine learning (ML) is used increasingly in safety-critical systems to provide
more complex autonomy to make the system to do decisions by itself in uncertain …
more complex autonomy to make the system to do decisions by itself in uncertain …
An accident prediction architecture based on spatio‐clock stochastic and hybrid model for autonomous driving safety
Collaborative and autonomous driving vehicles combine hardware and software complex
processes, also are heavily dependent on and influenced by the world of physical and cyber …
processes, also are heavily dependent on and influenced by the world of physical and cyber …
Statistical model checking for stochastic and hybrid autonomous driving based on spatio-clock constraints
J Wang, Z Huang, Y Zhu, G Shen - International Journal of Software …, 2022 - World Scientific
Autonomous driving vehicles are a kind of typical cyber-physical systems integrating
complex interactions between hardware and software components such as collaborative …
complex interactions between hardware and software components such as collaborative …
Bayesian learning for the robust verification of autonomous robots
Autonomous robots used in infrastructure inspection, space exploration and other critical
missions operate in highly dynamic environments. As such, they must continually verify their …
missions operate in highly dynamic environments. As such, they must continually verify their …
Petri net toolbox for multi-robot planning under uncertainty
Currently, there is a lack of developer-friendly software tools to formally address multi-robot
coordination problems and obtain robust, efficient, and predictable strategies. This paper …
coordination problems and obtain robust, efficient, and predictable strategies. This paper …
Simulation and Model Checking for Close to Realtime Overtaking Planning
Fast and reliable trajectory planning is a key requirement of autonomous vehicles. In this
paper we introduce a novel technique for planning the route of an autonomous vehicle on a …
paper we introduce a novel technique for planning the route of an autonomous vehicle on a …
[PDF][PDF] SYNTHESIS OF THE AUTOMATIC REGULATION SYSTEM FOR THE RELATED OBJECTS
IDG Rustamov, A Mammadova - Journal of Modern Technology …, 2023 - researchgate.net
In the paper the possibility of synthesis of the autonomous control system is investigated with
the known transmission function of the main channels. Based on these transmission …
the known transmission function of the main channels. Based on these transmission …