FORMAL VERIFICATION OF TIME CONSTRAINED UAV TASK ALLOCATION USING MODEL-CHECKING

FORMAL VERIFICATION OF TIME CONSTRAINED UAV TASK ALLOCATION USING MODEL-CHECKING

Bibliographic Details
Main Author:	KASAM, SUMAN
Language:	English
Published:	University of Cincinnati / OhioLINK 2008
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=ucin1201537607

Similar Items

Collaborative Task Assignment for Multi-UAV with Sequence and Time Constrains
Published: (2018-10-01)

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking
by: Aaditya Prakash Chouhan, et al.
Published: (2020-08-01)

Techniques for formal modelling and verification on dynamic memory allocators
by: Fang, Bin
Published: (2018)

Formal Verification of Adaptive Real-Time Systems by Extending Task Automata
by: Hatvani, Leo
Published: (2014)

Secure Multi-UAV Collaborative Task Allocation
by: Zhangjie Fu, et al.
Published: (2019-01-01)

Risk allocation strategies for distributed chance-constrained task allocation
by: Ponda, Sameera S., et al.
Published: (2013)

A practical model checking approach using FormalCheck
by: Barakatain, Leila
Published: (2000)

The Decision Model of Task Allocation for Constrained Stochastic Distributed Systems
by: Wan-Ting Huang, et al.
Published: (2005)

Formal verification of dynamic hybrid systems: a NuSMV-based model checking approach
by: Xu Zhi, et al.
Published: (2018-01-01)

UAV Task Allocation Based on Clone Selection Algorithm
by: Xiaopan Zhang, et al.
Published: (2021-01-01)

Combining type checking with model checking for system verification
by: Ren, Zhiqiang
Published: (2018)

Protocol verification using symbolic model checking
by: Mathieson, Charles G.
Published: (2009)

Protocol verification using symbolic model checking
by: Mathieson, Charles G.
Published: (2009)

Business Process Verification: The Application of Model Checking and Timed Automata
by: Luis E. Mendoza Morales
Published: (2014-08-01)

Formal Verification of a LTE Security Protocol for Dual-Connectivity : An Evaluation of Automatic Model Checking Tools
by: Pfeffer, Katharina
Published: (2014)

MULTI-UAV Task Allocation Based on Improved Genetic Algorithm
by: Xueli Wu, et al.
Published: (2021-01-01)

Abstraction for Verification and Refutation in Model Checking
by: Wei, Ou
Published: (2009)

Abstraction for Verification and Refutation in Model Checking
by: Wei, Ou
Published: (2009)

Abstraction of Formal Models in Real-Time System Verification
by: Szu-Yi Wang, et al.
Published: (2004)

SoS contract verification using statistical model checking
by: Alessandro Mignogna, et al.
Published: (2013-11-01)

Formal verification of RFID system using model verification agent
by: Lockman, Muhammad Tarmizi
Published: (2012)

Solving “Limited” Task Allocation Problem for UAVs Based on Optimization Algorithms
by: Xiaopan Zhang, et al.
Published: (2021-01-01)

NECTAR-An Agent-Based Dynamic Task Allocation Algorithm in the UAV Swarm
by: Chao Chen, et al.
Published: (2020-01-01)

Multi-Type UAVs Cooperative Task Allocation Under Resource Constraints
by: Liwei Huang, et al.
Published: (2018-01-01)

Formal Modeling and Verification for MVB
by: Mo Xia, et al.
Published: (2013-01-01)

Towards the Design of a Formal Verification and Evaluation Tool of Real-Time Tasks Scheduling of IoT Applications
by: Shabir Ahmad, et al.
Published: (2019-01-01)

Modelling and Verification of Multiple UAV Mission Using SMV
by: Gopinadh Sirigineedi, et al.
Published: (2010-03-01)

Automatic Assertion Checking Using Formal Symbolic Model Verifier
by: Chia-Yuan Uang, et al.
Published: (2005)

Formal Verification of Behavioral AADL Models by Stateful Timed CSP
by: Feng Zhang, et al.
Published: (2017-01-01)

Security Verification for Cyber-Physical Systems Using Model Checking
by: Ching-Chieh Chan, et al.
Published: (2021-01-01)

A variable neighbourhood search algorithm for the constrained task allocation problem
by: Lusa, A., et al.
Published: (2008)

Formal Verification of Time-Triggered Ethernet Protocol using PRISM Model Checker
by: Ammar, Marwan
Published: (2011)

Distributed chance-constrained task allocation for autonomous multi-agent teams
by: Ponda, Sameera S., et al.
Published: (2013)

Instrumentation of timed automata for formal verification of timed properties
by: Hagman, Mikael
Published: (2007)

Formal Verification of Real-Time System Requirements
by: Marcin Szpyrka
Published: (2000-01-01)

Formal Verification and Implementation of Real-Time Applications
by: Liviu Haţegan, et al.
Published: (2009-12-01)

Specification and verification of systems using model checking and Markov reward models
by: Lifson, Farrel
Published: (2014)

The formal verification of hard real-time systems
by: Cardell-Oliver, Rachel Mary
Published: (1992)

Specification and Verification of Systems Using Model Checking and Markov Reward Models
by: Lifson, Farrel
Published: (2004)

Formal Verification of Real-Time Function Blocks Using PVS
by: Linna Pang, et al.
Published: (2015-06-01)

Cannot write session to /tmp/vufind_sessions/sess_gk6c152mhhb7j6s9v7qtu2h5n1