We show how reactive synthesis and automated planning can be leveraged effectively to find nonmaximal solutions to deterministic supervisory control problems of discrete event systems. To do so, we propose efficient ...

In Computer Supported Collaborative Learning (CSCL), one of the most important tasks for instructional designers is to define scenarios that foster group learning. Such scenarios, defined as Units of Learning (UoLs), ...

Even though block caving mining method is already the most economical underground mining method for large massive ore bodies, it requires further technical advancements to also become a practical method for deep deposits ...

Currently the industry sector has several obstacles, to remain in the highly competitive market, from production to delivery of products or services. One of the factors of relevance is in the planning and development of ...