-
Demo: System Testing with S-TaLiRo: Recent Functionality and
Additions (
PDF)
Bardh Hoxha and Georgios Fainekos
ACM/IEEE Hybrid Systems: Computation and Control [HSCC],
Vienna, Austria, April 2016
-
Pareto Front Exploration for Parametric Temporal Logic
Specifications of Cyber-Physical Systems (
PDF,
Pres)
Bardh Hoxha and Georgios Fainekos
1st Workshop on Monitoring and Testing of Cyber-Physical
Systems [MTCPS], Vienna, Austria, April 2016
-
Planning in Dynamic Environments Through Temporal Logic
Monitoring (
PDF,
Pres)
Bardh Hoxha and Georgios Fainekos
The Thirtieth AAAI Conference on Artificial Intelligence
Workshop on Planning for Hybrid Systems Phoenix [AAAI PlanHS],
Arizona, February 2016
-
VISPEC: A graphical tool for easy elicitation of MTL
requirements (
PDF,
TechRep,
Pres)
Bardh Hoxha, Nikolaos Mavridis, and Georgios Fainekos
IEEE/RSJ International Conference on Intelligent Robots and
Systems [IROS], Hamburg, Germany, September 2015
-
Demo: S-TaLiRo: A tool for Testing and Verification for Hybrid
Systems: Recent Functionality and Additions (
PDF)
Bardh Hoxha, Houssam Abbas, Adel Dokhanchi, and Georgios
Fainekos
ACM/IEEE Hybrid Systems: Computation and Control [HSCC],
Berlin, Germany, April 2014
-
[Poster] Metric Temporal Logic Falsification and Path Planning
for Robotic Systems (
PDF)
Bardh Hoxha and Georgios Fainekos
ACM/IEEE Hybrid Systems: Computation and Control [HSCC],
Berlin, Germany, April 2014
-
[Poster] Robustness-Guided Temporal Logic Testing for
Stochastic Hybrid Systems (
PDF)
Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Koichi Ueda
ACM/IEEE Hybrid Systems: Computation and Control [HSCC],
Berlin, Germany, April 2014
-
[Poster] Conformance Testing as Falsification for
Cyber-Physical Systems (
PDF)
H. Abbas, B. Hoxha, G. Fainekos, J. V. Deshmukh, J. Kapinski,
K. Ueda
ACM/IEEE International Conference on Cyber-Physical Systems
[ICCPS], Berlin, Germany, April 2014