ERD

Symbolic LTLf Best-Effort Synthesis

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

Temporally extended goal recognition in fully observable non-deterministic domain models

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

Act for Your Duties but Maintain Your Rights

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

Regular decision processes

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

Digital twin composition in smart manufacturing via Markov decision processes

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

Process mining meets model learning: Discovering deterministic finite state automata from event logs for business proces...

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global–local memo...

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

A tool for compiling Declarative Process Mining problems in ASP

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains.

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

Finite-trace and generalized-reactivity specifications in temporal synthesis

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

Reasoning about Quality and Fuzziness of Strategic Behaviors.

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

Mimicking Behaviors in Separated Domains

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

A tool for declarative Trace Alignment via automated planning

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

On the complexity of rational verification

Project: WhiteMech

Updated at: 13-08-2024

Show more information

Project acronym WhiteMech

On the Power of Automata Minimization in Temporal Synthesis

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Inferring Agents Preferences as Priors for Probabilistic Goal Recognition

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

On Computational Tractability for Rational Verification

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Acquiring Ontology Axioms through Mappings to Data Sources

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Nondeterministic Strategies and their Refinement in Strategy Logic

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Digital Twins Composition via Markov Decision Processes

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Communication-based and Communication-less approaches for Robust Cooperative Planning in Construction with a Team of UAV...

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains.

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

The Nondeterministic Situation Calculus

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Resources

Selected filters:

Symbolic LTLf Best-Effort Synthesis

Temporally extended goal recognition in fully observable non-deterministic domain models

Act for Your Duties but Maintain Your Rights

Regular decision processes

Digital twin composition in smart manufacturing via Markov decision processes

Process mining meets model learning: Discovering deterministic finite state automata from event logs for business proces...

A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global–local memo...

A tool for compiling Declarative Process Mining problems in ASP

Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains.

Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications

Finite-trace and generalized-reactivity specifications in temporal synthesis

Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models

Reasoning about Quality and Fuzziness of Strategic Behaviors.

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

Mimicking Behaviors in Separated Domains

A tool for declarative Trace Alignment via automated planning

On the complexity of rational verification

On the Power of Automata Minimization in Temporal Synthesis

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis

Inferring Agents Preferences as Priors for Probabilistic Goal Recognition

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games

On Computational Tractability for Rational Verification

Acquiring Ontology Axioms through Mappings to Data Sources

Nondeterministic Strategies and their Refinement in Strategy Logic

Digital Twins Composition via Markov Decision Processes

Communication-based and Communication-less approaches for Robust Cooperative Planning in Construction with a Team of UAV...

Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains.

The Nondeterministic Situation Calculus