A hybrid automata model of social networking addiction

DOI10.1016/j.jlamp.2018.07.002zbMath1418.91431OpenAlexW2868572834WikidataQ129540811 ScholiaQ129540811MaRDI QIDQ1785868

Paolo Milazzo, Lucia Nasti

Publication date: 1 October 2018

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2018.07.002

zbMATH Keywords

simulationhybrid automatasocial networkscomputational modelsscale-free networksdopamine systemInternet addiction

Mathematics Subject Classification ID

Social networks; opinion dynamics (91D30) Applications of graph theory (05C90) Formal languages and automata (68Q45) Experimental studies (91A90) Mathematical biology in general (92B99)

Related Items (2)

The negative impact of technological advancements on mental health: an epidemiological approach ⋮ A hybrid automata model of social networking addiction

Uses Software

• Octave
• PHAVer
• HyTech

Cites Work

• Safety verification for probabilistic hybrid systems
• A hybrid automata model of social networking addiction
• HyTech: A model checker for hybrid systems
• Measurability and safety verification for stochastic hybrid systems
• Emergence of Scaling in Random Networks
• Directed scale-free graphs
• Hybrid Systems: Computation and Control
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A hybrid automata model of social networking addiction