Work

Strong planning in non-deterministic domains via model checking

Year: 1998

Type: article

Authors: Alessandro Cimatti, Marco Roveri, Paolo Traverso

Language: English

Topic: AI-based Problem Solving and Planning

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1562347120

FWCI: 6.258

Cites: 17

Cited by: 88

Related to: 10