human: Given a node-centered hypergraph: <hypergraph>, where nodes represent authors and hyperedges represent groups of authors who co-authored the same paper.

Details of the hypergraph:
Center node: "Planning via Model Checking: A Decision Procedure for AR"
  Abstract: In this paper we propose a new approach to planning based on a “high level action language”, called AR, and “model checking”. AR is an expressive formalism which is able to handle, among other things, ramifications and non-deterministic effects. We define a decision procedure for planning in AR which is based on “symbolic model checking”, a technique which has been successfully applied in hardware and software verification. The decision procedure always terminates with an optimal solution or with failure if no solution exists. We have constructed a planner, called MBP, which implements the decision procedure.

Connected through hyperedge HE-1 (induced by source paper "Symbolic Boolean manipulation with ordered binary-decision diagrams"):
  with members:
    - "Symbolic protocol verification with queue BDDs"
    - "Learning visual representations for perception-action systems"
    - "Deriving Petri nets from finite transition systems"
    - "Using BDDs to verify multipliers"
    - "FPGA routing and routability estimation via Boolean satisfiability"

Connected through hyperedge HE-2 (induced by source paper "External symbolic heuristic search with pattern databases"):
  with members:
    (none)

Question: Please tell me which research area the center author belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science