Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking.

Reona Minoda Shin-ichi Minato

Published in: PECCS (2017)

Keyphrases

symbolic model checking
model checking
formal verification
smart objects
partial observability
safety analysis
artificial intelligence
expert systems
social media
dynamic environments
temporal logic
model checker
everyday objects