ERD

Controller Synthesis for Manufacturing Systems in the Situation Calculus

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Imitation Learning over Heterogeneous Agents with Restraining Bolts.

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Synthesizing strategies under expected and exceptional environment behaviors

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Embedding reactive behavior into artifact-centric business process models

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Intensional and Extensional Views in DL-Lite Ontologies

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Periodic Reporting for period 2 - WhiteMech (White-Box Self-Programming Mechanisms)

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Synthesizing Best-Effort Strategies under Multiple Environment Specifications

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Measuring the interestingness of temporal logic behavioral specifications in process mining

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Mimicking Behaviors in Separated Domains

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Combining LSTMs and Symbolic Approaches for Robust Plan Recognition

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Controlled Query Evaluation in Description Logics Through Instance Indistinguishability

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Iterative Depth-First Search for Fully Observable Non-Deterministic Planning

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Enforcing Equilibria in Multi-Agent Systems

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Synthesis of Maximally Permissive Strategies for LTLf Specifications

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Act for Your Duties but Maintain Your Rights

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

An LP-Based Approach for Goal Recognition as Planning

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Timed Trace Alignment with Metric Temporal Logic over Finite Traces

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Sy...

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Synthesis with Mandatory Stop Actions

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Ontology-based explanation of classifiers

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

High-level Programming via Generalized Planning and LTL Synthesis

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Behavioral QLTL

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Mixed Human-UAV Reinforcement Learning: Literature Review and Open Challenges

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Trac...

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Augmented Business Process Management Systems: A Research Manifesto

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Equilibrium Design for Concurrent Games

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work

Project: WhiteMech

Updated at: 27-04-2024

Show more information

Project acronym WhiteMech

Resources

Selected filters:

Controller Synthesis for Manufacturing Systems in the Situation Calculus

Imitation Learning over Heterogeneous Agents with Restraining Bolts.

Synthesizing strategies under expected and exceptional environment behaviors

Embedding reactive behavior into artifact-centric business process models

Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2

Intensional and Extensional Views in DL-Lite Ontologies

Periodic Reporting for period 2 - WhiteMech (White-Box Self-Programming Mechanisms)

Synthesizing Best-Effort Strategies under Multiple Environment Specifications

Measuring the interestingness of temporal logic behavioral specifications in process mining

Mimicking Behaviors in Separated Domains

Combining LSTMs and Symbolic Approaches for Robust Plan Recognition

Controlled Query Evaluation in Description Logics Through Instance Indistinguishability

Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata

Iterative Depth-First Search for Fully Observable Non-Deterministic Planning

Enforcing Equilibria in Multi-Agent Systems

Synthesis of Maximally Permissive Strategies for LTLf Specifications

Act for Your Duties but Maintain Your Rights

An LP-Based Approach for Goal Recognition as Planning

Timed Trace Alignment with Metric Temporal Logic over Finite Traces

From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Sy...

Synthesis with Mandatory Stop Actions

Ontology-based explanation of classifiers

High-level Programming via Generalized Planning and LTL Synthesis

Behavioral QLTL

Mixed Human-UAV Reinforcement Learning: Literature Review and Open Challenges

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation

Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Trac...

Augmented Business Process Management Systems: A Research Manifesto

Equilibrium Design for Concurrent Games

LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work