Results 141 to 150 of about 71,669 (311)

A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]

Sensors (Basel), 2023
Bezerra WR, Martina JE, Westphall CB.
europepmc   +1 more source

Task‐Oriented Path Planning Towards Autonomous Sensor Network Deployment in Rainforest Canopies

Advanced Robotics Research, EarlyView.
An informative path planner for drone‐based deployment of wireless sensor networks in rainforest canopies is presented, addressing key challenges in large‐scale biodiversity monitoring. By integrating canopy surface detection with connectivity‐aware sampling under strict flight constraints, the approach enables efficient and reliable aerial sensor ...
Rita Santos Raminhos, Salua Hamaza
wiley   +1 more source

Logical consecutions in discrete linear temporal logic [PDF]

, 2005
We investigate logical consequence in temporal logics in terms of logical consecutions. i.e., inference rules. First, we discuss the question: what does it mean for a logical consecution to be 'correct' in a propositional logic.
Rybakov, Vladimir V.
core  

Extracting Interval Temporal Logic Rules: A First Approach [PDF]

, 2018
Discovering association rules is a classical data mining task with a wide range of applications that include the medical, the financial, and the planning domains, among others.
Sciavicco, Guido, Enrico Cominato, Simone Gnani, Guido Sciavicco, Gnani, Simone, Emilio Muñoz-Velasco, Muñoz-Velasco, Emilio, Davide Bresolin, Bresolin, Davide, Cominato, Enrico   +9 more
core   +1 more source

A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition. [PDF]

PeerJ Comput Sci, 2022
Zhao W, Liu Z.
europepmc   +1 more source

DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation

Advanced Robotics Research, EarlyView.
DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano, Jianyu An, Dinesh Manocha, Huan Xu   +3 more
wiley   +1 more source

Compositional RL Agents That Follow Language Commands in Temporal Logic. [PDF]

Front Robot AI, 2021
Kuo YL, Katz B, Barbu A.
europepmc   +1 more source

Intelligent Sky Guardians (InSkyGuard): An Aerial Robotic Swarm for Autonomous Detection and Entrapment of Rogue Multirotors

Advanced Robotics Research, EarlyView.
Intelligent Sky Guardians (InSkyGuard) is introduced as a four‐drone swarm that autonomously detects, tracks, and safely captures rogue drones using a coordinated net system. Computer vision and leader–follower control architecture enable synchronized enclosure, while integrated failsafes enhance system reliability. Validated through closed‐environment
Joshua Hastings, Levanya Dewanarayana, Iline Shaju, Haider Al‐Wizni, Sampson Marquis, Weicheng Huang, Pooya Sareh   +6 more
wiley   +1 more source

A leader‐follower communication protocol for motion planning in partially known environments under temporal logic specifications

IET Control Theory & Applications
This paper considers the problem of communication protocols between leaders and its followers for motion planning in an initially partially known environment.
Xiaohong Yan, Yingying Liu, Renwen Chen, Wei Duan   +3 more
doaj   +1 more source

Integration of Interval Temporal Logic in an Expression Evaluator

Applied Sciences
This paper presents NAXE, an expression evaluator framework for concurrent, resilient, and temporally aware applications, particularly in IoT domains. The key contribution is the principled integration of Interval Temporal Logic as a first-class feature ...
Francisco Morero-Peyrona, Javier Gutiérrez-Rodríguez, Manuel Mejías-Risoto   +2 more
doaj   +1 more source