Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reducing complexity of autonomous control agents for verifiability   The AgentSpeak type of languages are considered for decision making in
autonomous control systems. To reduce the complexity and increase the
verifiability of decision making, a limited instruction set agent (LISA) is
introduced. The new decision method is structurally simpler than its
predecessors and easily lends itself to both design time and runtime
verification methods. The process of converting a control agent in LISA into a
model in a probabilistic model checker is described. Due to the practical
complexity of design time verification the feasibility of runtime probabilistic
verification is investigated and illustrated in the LISA agent programming
system for verifying symbolic plans of the agent using a probabilistic model
checker.

35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat
24
The categories of this paper are: dg-ga
19
The categories of this paper are: eess
20
The categories of this paper are: acc-phys
21
The categories of this paper are: adap-org
14
The categories of this paper are: math-ph
5
The categories of this paper are: gr-qc
10
The categories of this paper are: q-bio
26
The categories of this paper are: bayes-an
37
The categories of this paper are: supr-con
8
The categories of this paper are: hep-ex
34
The categories of this paper are: chem-ph