Abstract—In this study, the effects of waste marbles as aggregate material on workability and hardened concrete characteristics of self compacting lightweight concrete are investigated. For this purpose, self compacting light weight concrete are produced by waste marble aggregates are replaced with fine aggregate at 5%, 7.5%, and 10% ratios. Fresh concrete properties, slump flow, T50 time, V fu...

Light-weight formal specifications are flexible, have a concrete syntax, and play vital role in correctness of a multi-agent robotic system. To specify such systems in a way that it ensures correctness properties of safety and liveness is important, especially as these systems have high concurrency and in most of the cases have dynamic environment. We have considered a casestudy of a multi-agen...