Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence.
Thorsten WißmannStefan MiliusLutz SchröderPublished in: Log. Methods Comput. Sci. (2022)
Keyphrases
- state space
- differential equations
- high level
- real time
- efficient computation
- collective decision making
- efficiently computing
- application specific
- modal logic
- random walk
- logic programming
- domain specific
- relational databases
- information technology
- digital libraries
- face recognition
- website
- information systems
- machine learning
- data mining