108 citations · 250 across the 14 of their papers we have counts for
3 papers · 1 filter
Petri Net Based Symbolic Model Checking for Computation Tree Logic of Knowledge
Leifeng He, Guanjun Liu
Computation Tree Logic of Knowledge (CTLK) can specify many design requirements of privacy and security of multi-agent systems (MAS). In our conference paper, we defined Knowledge-…
Urban Sensing based on Mobile Phone Data: Approaches, Applications and Challenges
Mohammadhossein Ghahramani, MengChu Zhou, Gang Wang
Data volume grows explosively with the proliferation of powerful smartphones and innovative mobile applications. The ability to accurately and extensively monitor and analyze these…
AI-based Modeling and Data-driven Evaluation for Smart Manufacturing Processes
Mohammadhossein Ghahramani, Yan Qiao, MengChu Zhou +2
Smart Manufacturing refers to optimization techniques that are implemented in production operations by utilizing advanced analytics approaches. With the widespread increase in depl…