Work

Symbolic Verification of Golog Programs with First-Order BDDs.

Year: 2018

Type: conference-paper

Source: RWTH Publications (RWTH Aachen)

Author: Jens Claßen

Institution: RWTH Aachen University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2898965366

FWCI: 1.1

Cites:

Cited by: 8

Related to: 11